|
Search the dblp DataBase
Mathias Kegelmann:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Stably Compact Spaces and Closed Relations. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
- Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Multi lingual sequent calculus and coherent spaces. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
- Mathias Kegelmann
Continuous Domains in Logical Form. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:49, n:, pp:- [Journal]
- Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Multi Lingual Sequent Calculus and Coherent Spaces. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:37, n:4, pp:369-412 [Journal]
Factorisation Systems on Domains. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|