scientific article; zbMATH DE number 7015114
From MaRDI portal
Publication:4619820
zbMath1404.03011MaRDI QIDQ4619820
Claude Kirchner, Hélène Kirchner
Publication date: 7 February 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Equational logic, Mal'tsev conditions (08B05) Grammars and rewriting systems (68Q42) History of mathematical logic and foundations (03-03) History of computer science (68-03)
Related Items (8)
Equational logic and categorical semantics for multi-languages ⋮ Open problems in rewriting ⋮ Combination of constraint solving techniques: An algebraic point of view ⋮ General \(E\)-unification with eager variable elimination and a nice cycle rule ⋮ What Is Essential Unification? ⋮ Proof certificates for equality reasoning ⋮ Combination techniques and decision problems for disunification ⋮ Equational theorem proving modulo
This page was built for publication:
