Person:580340

Available identifiers

zbMath Open flagg.robert-cMaRDI QIDQ580340

List of research outcomes

Publication	Date of Publication	Type
The asymmetric topology of computer science	2023-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4231884	2002-11-25	Paper
The essence of ideal completion in quantitative form	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q3137152	1993-11-01	Paper
A framework for measuring the complexity of mathematical concepts	1990-01-01	Paper
Maximality in modal logic	1987-01-01	Paper
Implication and analysis in classical Frege structures	1987-01-01	Paper
\(\kappa\)-continuous lattices and comprehension principles for Frege structures	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3812243	1987-01-01	Paper
Integrating classical and intuitionistic type theory	1986-01-01	Paper
Epistemic and intuitionistic formal systems	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3737423	1985-01-01	Paper
Epistemic set theory is a conservative extension of intuitionistic set theory	1985-01-01	Paper
Implementation of new iterative techniques for solutions of Thomas-Fermi and Emden-Fowler equations	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3877247	1979-01-01	Paper
On the independence of the Bigos-Kalmar axioms for sentential calculus	1978-01-01	Paper

Research outcomes over time

This page was built for person: Robert C. Flagg