List of works - Tobias Nipkow - Paulina

List of works by Tobias Nipkow

A FORMAL PROOF OF THE KEPLER CONJECTURE

A machine-checked model for a Java-like language, virtual machine, and compiler

Experience report

scientific article published in 2014

Linear Quantifier Elimination

Mining the Archive of Formal Proofs

Social Choice Theory in HOL

Unification in Boolean rings

article published in 1988

Unification in primal algebras, their powers and their varieties

scholarly article by Tobias Nipkow published 1 October 1990 in Journal of the ACM

Paulina is supported by:

About Paulina

Help