We stand with Ukraine  

Mathias Kegelmann

Affiliations:
  • Technische Universität Darmstadt, Germany


According to our database1, Mathias Kegelmann authored at least 4 papers between 1997 and 2002.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2002
Continuous Domains in Logical Form.
[BibTeX]
[DOI]
Mathias Kegelmann
Electronic Notes in Theoretical Computer Science 49, Elsevier, 2002

2001
Stably Compact Spaces and Closed Relations.
[BibTeX]
[DOI]
Achim Jung
,
Mathias Kegelmann
,
M. Andrew Moshier
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

1999
Factorisation Systems on Domains.
[BibTeX]
[DOI]
Mathias Kegelmann
Appl. Categorical Struct., 1999

1997
Multi lingual sequent calculus and coherent spaces.
[BibTeX]
[DOI]
Achim Jung
,
Mathias Kegelmann
,
M. Andrew Moshier
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997


  Loading...