Structure sharing for quantified terms: Fundamentals

DOI10.1007/BF00245815zbMath0697.68053MaRDI QIDQ911773

John Staples, Peter J. Robinson

Publication date: 1990

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

logic programmingunification algorithmquantified termsStructure sharingverification systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (2)

Resolution theorem proving in reified modal logics ⋮ Delaying unification algorithms for lambda calculi

Cites Work

• Unnamed Item
• Unnamed Item
• Computation on graph-like expressions
• Deductive synthesis of the unification algorithm
• Efficient unification of quantified terms
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Structure sharing for quantified terms: Fundamentals