Robert C. Flagg

From MaRDI portal
(Redirected from Person:580340)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
The asymmetric topology of computer science
Lecture Notes in Computer Science
2023-04-28Paper
scientific article; zbMATH DE number 1261782 (Why is no real title available?)2002-11-25Paper
The essence of ideal completion in quantitative form
Theoretical Computer Science
2002-07-15Paper
scientific article; zbMATH DE number 426304 (Why is no real title available?)1993-11-01Paper
A framework for measuring the complexity of mathematical concepts
Advances in Applied Mathematics
1990-01-01Paper
\(\kappa\)-continuous lattices and comprehension principles for Frege structures
Annals of Pure and Applied Logic
1987-01-01Paper
Maximality in modal logic
Annals of Pure and Applied Logic
1987-01-01Paper
scientific article; zbMATH DE number 4081552 (Why is no real title available?)1987-01-01Paper
Implication and analysis in classical Frege structures
Annals of Pure and Applied Logic
1987-01-01Paper
Epistemic and intuitionistic formal systems
Annals of Pure and Applied Logic
1986-01-01Paper
Integrating classical and intuitionistic type theory
Annals of Pure and Applied Logic
1986-01-01Paper
Epistemic set theory is a conservative extension of intuitionistic set theory
Journal of Symbolic Logic
1985-01-01Paper
scientific article; zbMATH DE number 3970744 (Why is no real title available?)1985-01-01Paper
Implementation of new iterative techniques for solutions of Thomas-Fermi and Emden-Fowler equations
Journal of Computational Physics
1980-01-01Paper
scientific article; zbMATH DE number 3681325 (Why is no real title available?)1979-01-01Paper
On the independence of the Bigos-Kalmar axioms for sentential calculus
Notre Dame Journal of Formal Logic
1978-01-01Paper


Research outcomes over time


This page was built for person: Robert C. Flagg