Klaus Barthelmann

According to our database, Klaus Barthelmann authored at least 8 papers between 1990 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Local Normal Forms for First-Order Logic with Applications to Games and Automata.

Thomas Schwentick, Klaus Barthelmann

Discret. Math. Theor. Comput. Sci., 1999

1998

Nondeterministic Operations on Finite Relational Structures.

Klaus Barthelmann

Theor. Comput. Sci., 1998

When Can an Equational Simple Graph Be Generated by Hyperedge Replacement?

Klaus Barthelmann

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1995

Linear types for higher order processes with first class directed channels.

Georg Schied, Klaus Barthelmann

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

1994

Process Specification and Verification.

Klaus Barthelmann

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.

Klaus Barthelmann, Georg Schied

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1991

Graphgrammatikalische Hilfsmittel zur Beschreibung verteilter Systeme.

Klaus Barthelmann

PhD thesis, 1991

1990

Describing Göttler's Operational Graph Grammars with Pushouts.

Klaus Barthelmann

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990