Edward R. Griffor - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 8 from 8

2023

Specifying and Reasoning about CPS through the Lens of the NIST CPS FrameworkThanh Hai Nguyen 0002, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor. tplp, 23(5):1029-1069, September 2023. [doi]

Formalizing and Reasoning About Supply Chain Contracts Between AgentsDylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor. PADL 2023: 144-160 [doi]

1999

PrefaceEdward R. Griffor. In Edward R. Griffor, editor, Handbook of Computability Theory. Volume 140 of Studies in Logic and the Foundations of Mathematics, North-Holland, 1999. [doi]

1998

Inaccessibility in Constructive Set Theory and Type TheoryMichael Rathjen, Edward R. Griffor, Erik Palmgren. APAL, 94(1-3):181-200, 1998.

1994

The strength of some Martin-Löf type theoriesEdward R. Griffor, Michael Rathjen. AML, 33(5):347-385, 1994. [doi]

Mathematical theory of domainsViggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor. Volume 22 of Cambridge tracts in theoretical computer science, Cambridge University Press, 1994.

1984

The Definability of E(alpha)Edward R. Griffor, Dag Normann. JSYML, 49(2):437-442, 1984.

1983

3EEdward R. Griffor. mlq, 29(10):485-492, 1983. [doi]

Sign in or sign up to see more results.

runs on WebDSL