# Klaus Barthelmann

According to our database

^{1}, Klaus Barthelmann## 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