Structure sharing for quantified terms: Fundamentals

DOI10.1007/BF00245815zbMATH Open0697.68053MaRDI QIDQ911773FDOQ911773

Authors: John Staples, Peter J. Robinson 

Publication date: 1990

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

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

zbMATH Keywords

logic programmingunification algorithmquantified termsStructure sharingverification systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• A Machine-Oriented Logic Based on the Resolution Principle
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)