scientific article; zbMATH DE number 1414284
From MaRDI portal
Publication:4942621
zbMath0941.68597MaRDI QIDQ4942621
Publication date: 16 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Problems in rewriting III ⋮ Multi-completion with termination tools ⋮ Multi-completion with Termination Tools (System Description) ⋮ Extending Maximal Completion (Invited Talk)
This page was built for publication: