Algebraic and Logic Programming: International Workshop, Gaussig, Gdr, November 14-18, 1988 : Proceedings
Discusses long-term developments Addresses advanced physical layer techniques designed for broadband communications, for fixed and mobile terminals Considers 4G evolutions and possible convergence between different technologies
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 application approach arity atom axioms called Compile complete Computer Science conditional equations confluent constructor contains correctness critical pairs data term defined Definition denote E-unifier Ec unifiers 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 integers 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 recursive reduction relation result rewrite rules signals signature SLDE Springer subsorts subterm subtype syntactic term rewriting systems terminating Theorem tree TRSs tuple type inference unification well-typed