☰

Piotr Rudnicki

Affiliations: 
University of Alberta, Edmonton, Alberta, Canada 
Area:
Computer Science
Google:
"Piotr Rudnicki"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Daqing Hou grad student 2004 University of Alberta

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Bancerek G, Rudnicki P. (2002) A compendium of continuous lattices in Mizar. Formalizing recent mathematics Journal of Automated Reasoning. 29: 189-224
Rudnicki P, Schwarzweller C, Trybulec A. (2001) Commutative Algebra in the Mizar System Journal of Symbolic Computation. 32: 143-169
Rudnicki P, Trybulec A. (1999) On Equivalents of Well-Foundedness Journal of Automated Reasoning. 23: 197-234
Rudnicki P, Drabent W. (1985) Proving properties of Pascal programs in MIZAR 2 Acta Informatica. 22: 311-331
See more...