Implementation of an Iterative Technique for the Solution of Generalized Emden - Fowler Eigenproblems. - Robert C. Flagg; C. D. Luning; W. L. Perry (Codes for Boundary-Value Problems in Ordinary Differential Equations, 1978)

On the independence of the Bigos-Kalmár axioms for sentential calculus. - Robert C. Flagg (Notre Dame J. Formal Log., 1978)

Epistemic Set Theory is a Conservative Extension of Intuitionistic Set Theory. - Robert C. Flagg (J. Symb. Log., 1985)

Integrating classical and intuitionistic type theory. - Robert C. Flagg (Ann. Pure Appl. Log., 1986)

Epistemic and intuitionistic formal systems. - Robert C. Flagg; Harvey M. Friedman (Ann. Pure Appl. Log., 1986)

K-continuous lattices and comprehension principles for frege structures. - Robert C. Flagg (Ann. Pure Appl. Log., 1987)

Maximality in modal logic. - Robert C. Flagg; Harvey M. Friedman (Ann. Pure Appl. Log., 1987)

Implication and analysis in classical frege structures. - Robert C. Flagg; John J. Myhill (Ann. Pure Appl. Log., 1987)

The essence of ideal completion in quantitative form. - Robert C. Flagg; Philipp Sünderhauf (Theor. Comput. Sci., 2002)