| |
| 2002 | ||
|---|---|---|
| 5 | EE | Mathias Kegelmann: Continuous Domains in Logical Form. Electr. Notes Theor. Comput. Sci. 49: (2002) |
| 2001 | ||
| 4 | EE | Achim Jung, Mathias Kegelmann, M. Andrew Moshier: Stably Compact Spaces and Closed Relations. Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 1999 | ||
| 3 | EE | Mathias Kegelmann: Factorisation Systems on Domains. Applied Categorical Structures 7(1-2): 113-128 (1999) |
| 2 | Achim Jung, Mathias Kegelmann, M. Andrew Moshier: Multi Lingual Sequent Calculus and Coherent Spaces. Fundam. Inform. 37(4): 369-412 (1999) | |
| 1997 | ||
| 1 | EE | Achim Jung, Mathias Kegelmann, M. Andrew Moshier: Multi lingual sequent calculus and coherent spaces. Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 1 | Achim Jung | [1] [2] [4] |
| 2 | M. Andrew Moshier | [1] [2] [4] |