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
https://portal.mardi4nfdi.de/entity/Q2847392	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/Q4413883	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4413893	2003-07-21	Paper
On dynamically presenting a topology course	2003-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q2767935	2002-02-14	Paper
Reply to 'Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. Makinen	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4870658	1996-11-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paul Cairns