scientific article; zbMATH DE number 1182797
From MaRDI portal
Publication:4400884
zbMath0903.68170MaRDI QIDQ4400884
Publication date: 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Ordered structures (06F99)
Related Items