Roberto Di Cosmo and Thomas Dufour. The equational theory of <n,0,1,+,·,> is decidable, but not finitely axiomatisable. In LPAR'05, Lecture Notes in Computer Science, pages 240--256, 2005.
[ bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.