Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings

DOI10.1007/BFb0013814zbMath0856.68013MaRDI QIDQ2565251

No author found.

Publication date: 28 January 1997

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ConferenceProceedingsLogic programmingAachen (Germany)Algebraic programmingALP '92

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx)

Related Items (6)

Rewriting logic: Roadmap and bibliography ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Automatic Proofs of Termination With Elementary Interpretations ⋮ Operational Termination of Membership Equational Programs: the Order-Sorted Way ⋮ Programming and symbolic computation in Maude ⋮ Applications and extensions of context-sensitive rewriting

This page was built for publication: Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings