Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings by Helene KirchnerAlgebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings by Helene Kirchner

Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4…

EditorHelene Kirchner, Giorgio Levi

Paperback | August 19, 1992

Pricing and Purchase Info

$148.02 online 
$167.95 list price save 11%
Earn 740 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This volume contains the proceedings of the ThirdInternational Conference on Algebraic and Logic Programming,held in Pisa, Italy, September 2-4, 1992. Like the twoprevious conferences in Germany in 1988 and France in 1990,the third conference aims at strengthening the connectionsbetweenalgebraic techniques and logic programming. On theone hand, logic programming has been very successful duringthe last decades and more and more systems compete inenhancing its expressive power. On the other hand, conceptslike functions, equality theory, and modularity areparticularly well handled in an algebraic framework. Commonfoundations of both approaches have recently been developed,and this conference is a forum for people from both areas toexchange ideas, results, and experiences. The book coversthe following topics: semantics ofalgebraic and logicprogramming; integration of functional and logicprogramming; term rewriting, narrowing, and resolution;constraintlogic programming and theorem proving; concurrentfeatures in algebraic and logic programming languages; andimplementation issues.
Title:Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4…Format:PaperbackDimensions:466 pages, 9.25 × 6.1 × 0.68 inPublished:August 19, 1992Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:354055873X

ISBN - 13:9783540558736

Look for similar items by category:

Reviews