Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings

DOI10.1007/3-540-53162-9zbMath0763.68011OpenAlexW4205849249MaRDI QIDQ1188886

No author found.

Publication date: 23 January 1993

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

Full work available at URL: https://doi.org/10.1007/3-540-53162-9

zbMATH Keywords

ConferenceProceedingsLogic programmingresolutionconstraint logic programmingnarrowingNancy (France)Algebraic programmingconcurrent featuressemantics of algebraic and logic programming

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Applications of universal algebra in computer science (08A70) Grammars and rewriting systems (68Q42) Logic programming (68N17) General topics in the theory of software (68N01) General theory of categories and functors (18A99)

Related Items (6)

Metalevel transformation of strategies ⋮ From LP to LP: Programming with constraints ⋮ The Maude strategy language ⋮ Strategies, model checking and branching-time properties in Maude ⋮ Mechanically certifying formula-based Noetherian induction reasoning ⋮ AC-unification race: The system solving approach, implementation and benchmarks

This page was built for publication: Algebraic and logic programming. Second international conference, Nancy, France, October 1--3, 1990. Proceedings