Download PDF by Hassan Aït-Kaci (auth.), Hélène Kirchner, Giorgio Levi: Algebraic and Logic Programming: Third International

By Hassan Aït-Kaci (auth.), Hélène Kirchner, Giorgio Levi (eds.)

ISBN-10: 354055873X

ISBN-13: 9783540558736

This quantity includes the complaints of the 3rd overseas convention on Algebraic and common sense Programming, held in Pisa, Italy, September 2-4, 1992. just like the past meetings in Germany in 1988 and France in 1990, the 3rd convention goals at strengthening the connections betweenalgebraic innovations and common sense programming. at the one hand, common sense programming has been very winning over the last many years and a growing number of platforms compete in improving its expressive strength. however, recommendations like capabilities, equality concept, and modularity are quite good dealt with in an algebraic framework. universal foundations of either ways have lately been built, and this convention is a discussion board for individuals from either components to replace rules, effects, and reviews. The e-book covers the next subject matters: semantics ofalgebraic and common sense programming; integration of sensible and common sense programming; time period rewriting, narrowing, and determination; constraintlogic programming and theorem proving; concurrent beneficial properties in algebraic and good judgment programming languages; and implementation issues.

Show description

Read Online or Download Algebraic and Logic Programming: Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings PDF

Similar algebra books

Download e-book for kindle: Structure and representations of Jordan algebras by N. Jacobson

###############################################################################################################################################################################################################################################################

Additional resources for Algebraic and Logic Programming: Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings

Sample text

Download PDF sample

Algebraic and Logic Programming: Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings by Hassan Aït-Kaci (auth.), Hélène Kirchner, Giorgio Levi (eds.)


by Richard
4.4

Rated 4.20 of 5 – based on 11 votes