scientific article; zbMATH DE number 3569825

MaRDI QIDQ4140378zbMATH OpenFDO

Authors

Publication date 1976

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Algorithms in computer science (68W99)

Cited in

(8)

• Modeling production rules by means of predicate transition networks
• Complete problems in the first-order predicate calculus
• About the Paterson-Wegman linear unification algorithm
• The linked conjunct method for automatic deduction and related search techniques
• A formal model for a linear time correctness condition of proof nets of multiplicative linear logic
• An efficient labelled nested multiset unification algorithm
• The First-Order Nominal Link
• Unranked Nominal Unification

This page was built for publication:

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