scientific article

zbMath1192.00077MaRDI QIDQ3578287

No author found.

Publication date: 19 July 2010

Full work available at URL: http://www.unirioja.es/servicios/sp/catalogo/monografias/vr77.shtml

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to algebraic topology (55-06) Proceedings, conferences, collections, etc. pertaining to commutative algebra (13-06) Proceedings, conferences, collections, etc. pertaining to nonassociative rings and algebras (17-06)

Related Items (2)

A Mechanized Theory of Regular Trees in Dependent Type Theory ⋮ Unnamed Item

Uses Software

• Coq

This page was built for publication: