scientific article; zbMATH DE number 1255555
From MaRDI portal
Publication:4229811
zbMath0922.68081MaRDI QIDQ4229811
Publication date: 28 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Logic programming (68N17)
Related Items (9)
Higher-order narrowing with convergent systems ⋮ Developing developments ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Unnamed Item ⋮ Development closed critical pairs ⋮ A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains ⋮ Inductive-data-type systems ⋮ Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming ⋮ A decision algorithm for distributive unification
This page was built for publication:
