scientific article
From MaRDI portal
Publication:3408130
zbMath1273.68323MaRDI QIDQ3408130
Francisco Jesús Martín-Mateos, José Luis Ruiz-Reina, María José Hidalgo, Jose Antonio Alonso
Publication date: 24 February 2010
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 (4)
Admissible ordering on monomials is well-founded: a constructive proof ⋮ Proof pearl: a formal proof of Higman's lemma in ACL2 ⋮ A verified common lisp implementation of Buchberger's algorithm in ACL2 ⋮ The number of clones determined by disjunctions of unary relations
Uses Software
This page was built for publication:
