scientific article; zbMATH DE number 1988961
From MaRDI portal
Publication:4430288
zbMath1023.68595MaRDI QIDQ4430288
Publication date: 20 October 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Termination proofs and the length of derivations ⋮ Schematization of infinite sets of rewrite rules generated by divergent completion processes ⋮ Automating the Knuth Bendix ordering
This page was built for publication:
