scientific article
From MaRDI portal
Publication:2767928
zbMath0982.68136MaRDI QIDQ2767928
Piotr Rudnicki, Andrzej Trybulec
Publication date: 14 February 2002
Full work available at URL: http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Four decades of {\textsc{Mizar}}. Foreword ⋮ The role of the Mizar mathematical library for interactive proof development in Mizar ⋮ An integrated web platform for the Mizar Mathematical Library ⋮ On rewriting rules in Mizar ⋮ Pollack-inconsistency ⋮ A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$
Uses Software
