scientific article
From MaRDI portal
Publication:3024845
zbMath1063.68656MaRDI QIDQ3024845
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Coq formalization of the higher-order recursive path ordering, An effective proof of the well-foundedness of the multiset path ordering
Uses Software