|
Showing 1 - 3 of
3 matches in All Departments
A new model-theoretic approach to universal algebra is offered in
this book. Written for computer scientists, it presents a
systematic development of the methods and results of universal
algebra that are useful in a variety of applications in computer
science. The notation is simple and the concepts are clearly
presented. The book concerns the algebraic characterization of
axiomatic classes of algebras (equational, implicational, and
universal Horn classes) by closure operators generalizing the
famous Birkhoff Variety Theorem, and the algebraic characterization
of the related theories. The book also presents a thorough study of
term rewriting systems. Besides basic notions, the Knuth-Bendix
completion procedure and termination proof methods are considered.
A third main topic is that of fixpoint techniques and complete
ordered algebras. Algebraic specifications of abstract data types
and algebraic semantics of recursive program schemes are treated as
applications. The book is self-contained and suitable both as a
textbook for graduate courses and as a reference for researchers.
This volume contains the proceedings of the Third International
Conference on Algebraic and Logic Programming, held in Pisa, Italy,
September 2-4, 1992. Like the two previous conferences in Germany
in 1988 and France in 1990, the third conference aims at
strengthening the connections betweenalgebraic techniques and logic
programming. On the one hand, logic programming has been very
successful during the last decades and more andmore systems compete
in enhancing its expressive power. On the other hand, concepts like
functions, equality theory, and modularity are particularly well
handled in an algebraic framework. Common foundations of both
approaches have recently been developed, and this conference is a
forum for people from both areas to exchange ideas, results, and
experiences. The book covers the following topics: semantics
ofalgebraic and logic programming; integration of functional and
logic programming; term rewriting, narrowing, and resolution;
constraintlogic programming and theorem proving; concurrent
features in algebraic and logic programming languages; and
implementation issues.
This volume contains the proceedings of the First International
Workshop on Algebraic and Logic Programming held in Gaussig (German
Democratic Republic) from November 14 to 18, 1988. The workshop was
devoted to Algebraic Programming, in the sense of programming by
algebraic specifications and rewrite rule systems, and Logic
Programming, in the sense of Horn clause specifications and
resolution systems. This includes combined algebraic/logic
programming systems, mutual relations and mutual implementation of
programming paradigms, completeness and efficiency considerations
in both fields, as well as related topics.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|