scientific article; zbMATH DE number 3569825

zbMath0365.68042MaRDI QIDQ4140378

No author found.

Publication date: 1976

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

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