scientific article
From MaRDI portal
Publication:3490953
zbMath0708.68028MaRDI QIDQ3490953
Ralf-Detlef Kutsche, Dieter Hofbauer
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Induction using term orders ⋮ Testing for the ground (co-)reducibility property in term-rewriting systems ⋮ Induction using term orderings
This page was built for publication:
