Artículos relacionados a Algebraic and Logic Programming: International Workshop,...

Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings - Tapa blanda

 
9783662200889: Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings

Esta edición ISBN ya no está disponible.

Sinopsis

ACP with signals.- Functional extensions to prolog: Are they needed?.- Narrowing and resolution in logic-functional programming languages.- Nondeterministic algebraic specifications and nonconfluent term rewriting.- OBJ: Programming with equalities, subsorts, overloading and parameterization.- Logic programming with polymorphically order-sorted types.- Integrating logic programming and equational specification of abstract data types.- Narrowing with built-in theories.- A completion procedure for hierarchical conditional rewriting systems.- An effective method for handling initial algebras.- Boolean valued models and incomplete specifications.- Types, modularisation and abstraction in logic programming.- Translating algebraic specifications to Prolog programs: A comparative study.- Rewrite rule systems for modal propositional logic.- A characterization of irreducible sets modulo left-linear term rewriting systems by tree automata.- Functional data term models and semantic unification.- Modular algebraic specifications.- Proving inductive theorems based on term rewriting systems.- Jungle evaluation for efficient term rewriting.- A new quasi-reducibility testing algorithm and its application to proofs by induction.- Fuzzy reasoning based on f-horn clause rules.- Babel: A functional and logic programming language based on constructor discipline and narrowing.- Refined compilation of pattern-matching for functional languages.- Narrowing in partial conditional equational theories.- Solving equations in an equational language.- Nonstandard logics of recursive programs and denotational semantics.

"Sinopsis" puede pertenecer a otra edición de este libro.

  • EditorialSpringer
  • Año de publicación2014
  • ISBN 10 3662200880
  • ISBN 13 9783662200889
  • EncuadernaciónPaperback
  • IdiomaInglés
  • Contacto del fabricanteno disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783540506676: Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings: 343 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540506675 ISBN 13:  9783540506676
Editorial: Springer, 2008
Tapa blanda