Concepedia

Bob Flagg

BF

Statistics

Publications

5

Citations

164

H-Index

5

Active since

1989

Affiliations

University of Southern Maine(Current)

City College of New York

Bob Flagg is an author at University of Southern Maine specializing in computer science, functional analysis, and automated reasoning.

Top concepts

Computer ScienceFunctional AnalysisEngineeringFormal MethodsAutomated ReasoningGeometrySemanticsSemantic WebSystem SoftwareFormal Verification

Publications per year

1989–2002

5

Publications

5

Continuity spaces: Reconciling domains and metric spaces

Bob Flagg, Ralph Kopperman · Theoretical Computer Science · 1997 · 89 citations

Domain Theory, Continuity Spaces, Set-theoretic Topology +2

Computational Models for Ultrametric Spaces

Bob Flagg, Ralph Kopperman · Electronic Notes in Theoretical Computer Science · 1997 · 24 citations · Full text

Geometry, Higher Dimensional Problem, Ultrametric Spaces +9

A type-free system extending (ZFC)

John Myhill, Bob Flagg · Annals of Pure and Applied Logic · 1989 · 19 citations

Engineering, Generic Programming, Automated Reasoning +7

Polish spaces, computable approximations, and bitopological spaces

Krzysztof Ciesielski, Bob Flagg, Ralph Kopperman · Topology and its Applications · 2002 · 16 citations

Computational Model Theory, Set-theoretic Topology, Polish Spaces +2

Fixed Points and Reflexive Domain Equations in Categories of Continuity Spaces

Bob Flagg, Ralph Kopperman · Electronic Notes in Theoretical Computer Science · 1995 · 16 citations · Full text

Engineering, Well-founded Semantics, Semantics +16

1–5 of 5