Mathias Kegelmann

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

Publications

Mathias Kegelmann
Continuous Domains in Logical Form. Electron. Notes Theor. Comput. Sci. 49 (2002)
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Stably Compact Spaces and Closed Relations. MFPS (2001)
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Multi Lingual Sequent Calculus and Coherent Spaces. Fundam. Informaticae 37 (4) (1999)
Mathias Kegelmann
Factorisation Systems on Domains. Appl. Categorical Struct. 7 (1-2) (1999)
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Multi lingual sequent calculus and coherent spaces. MFPS (1997)