Klaus Barthelmann

According to our database1, Klaus Barthelmann
  • authored at least 9 papers between 1990 and 1999.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1999
Local Normal Forms for First-Order Logic with Applications to Games and Automata.
Discrete Mathematics & Theoretical Computer Science, 1999

1998
Nondeterministic Operations on Finite Relational Structures.
Theor. Comput. Sci., 1998

Local Normal Forms for First-Order Logic with Applications to Games and Automata.
Proceedings of the STACS 98, 1998

When Can an Equational Simple Graph Be Generated by Hyperedge Replacement?
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1995
Linear types for higher order processes with first class directed channels.
Electr. Notes Theor. Comput. Sci., 1995

1994
Process Specification and Verification.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1993
Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1991
Graphgrammatikalische Hilfsmittel zur Beschreibung verteilter Systeme.
PhD thesis, 1991

1990
Describing Göttler's Operational Graph Grammars with Pushouts.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990


  Loading...