Paul Cairns

Available identifiers

zbMath Open cairns.paulMaRDI QIDQ890054

List of research outcomes

Publication	Date of Publication	Type
An application of Mary Ellen Rudin's solution to Nikiel's conjecture	2015-11-09	Paper
Using and parsing the Mizar language	2013-09-09	Paper
Integrating searching and authoring in Mizar	2007-12-03	Paper
Managing Automatically Formed Mathematical Theories	2007-09-05	Paper
Mathematical Knowledge Management	2007-02-12	Paper
Mathematical Knowledge Management	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4413893	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4413883	2003-07-21	Paper
On dynamically presenting a topology course	2003-06-09	Paper
On dynamically presenting a topology course	2002-02-14	Paper
Reply to `Comment on ``A framework for modelling trojans and computer virus infection\,' by E. Mäkinen	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4870658	1996-11-11	Paper

Research outcomes over time

This page was built for person: Paul Cairns