Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988 : Proceedings
Jan Grabowski, Pierre Lescanne, Wolfgang Wechler
Springer-Verlag, 1988 - Algebraic logic - 278 pages
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract data types algebraic module algebraic specifications algorithm apply approach arity atom axioms called Compile complete Computer Science conditional equations confluent constructor contains correctness critical pairs data term defined Definition denote E-unifier equality equational theories equivalent evaluation example exists export f-Horn clause rules finite set formula function symbols functional programming functor given Goguen ground terms hand side hypergraph implementation inductive inference rules initial algebra instantiated integer interpretation jungle least fixpoint left-hand side Lemma linear LNCS Logic Programming many-sorted Meseguer morphism narrowing derivation nodes non-empty-stack normal forms notion occurring operational semantics order-sorted polymorphic predicate problem Proc procedure programming language Prolog proof Proposition prove quasi-reducibility recursive reducible relation result rewrite rules signals signature Springer subsorts subterm subtype syntactic term rewriting systems terminating Theorem tree TRSs true tuple type inference unification unifier variables well-typed