Structure sharing for quantified terms: Fundamentals

DOI10.1007/BF00245815MaRDI QIDQ911773zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 4195153
• scientific article; zbMATH DE number 408810
• Efficient unification of quantified terms
• scientific article; zbMATH DE number 43595
• scientific article; zbMATH DE number 1617334
• Exploiting structure in quantified formulas
• An abstract view on syntax with sharing
• scientific article; zbMATH DE number 1342272
• Generalized quantifiers in formal concept analysis
• scientific article; zbMATH DE number 4043301

Cites work

• scientific article; zbMATH DE number 3395362 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Computation on graph-like expressions
• Deductive synthesis of the unification algorithm
• Efficient unification of quantified terms

Cited in

(5)

• Delaying unification algorithms for lambda calculi
• Resolution theorem proving in reified modal logics
• Efficient unification of quantified terms
• scientific article; zbMATH DE number 2154394 (Why is no real title available?)
• Representation sharing for Prolog

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911773)