scientific article

DOI10.25596/JALC-2011-109zbMath1345.68190MaRDI QIDQ2819403

Andrew M. Marshall, Paliath Narendran, Deepak Kapur, Serdar Erbatur

Publication date: 29 September 2016

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Related Items (4)

Non-disjoint combined unification and closure by equational paramodulation ⋮ Unification and Matching in Hierarchical Combinations of Syntactic Theories ⋮ Satisfiability of general intruder constraints with and without a set constructor ⋮ Terminating non-disjoint combined unification

This page was built for publication: