scientific article
From MaRDI portal
Publication:3395957
zbMath1169.03324MaRDI QIDQ3395957
Publication date: 15 September 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)
Related Items (4)
A formalization of the Knuth-Bendix(-Huet) critical pair theorem ⋮ Formalizing Kant's rules. A logic of conditional imperatives and permissives ⋮ A PVS Theory for Term Rewriting Systems ⋮ Abstract abstract reduction
This page was built for publication:
