Klaus Barthelmann

Publication Activity (10 Years)

Years Active: 1990-1999
Publications (10 Years): 0

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Thomas Schwentick, Klaus Barthelmann
Local Normal Forms for First-Order Logic with Applications to Games and Automata. Discret. Math. Theor. Comput. Sci. 3 (3) (1999)
Klaus Barthelmann
Nondeterministic Operations on Finite Relational Structures. Theor. Comput. Sci. 200 (1-2) (1998)
Thomas Schwentick, Klaus Barthelmann
Local Normal Forms for First-Order Logic with Applications to Games and Automata. STACS (1998)
Klaus Barthelmann
When Can an Equational Simple Graph Be Generated by Hyperedge Replacement? MFCS (1998)
Georg Schied, Klaus Barthelmann
Linear types for higher order processes with first class directed channels. Electron. Notes Theor. Comput. Sci. 2 (1995)
Klaus Barthelmann
Process Specification and Verification. TAGT (1994)
Klaus Barthelmann, Georg Schied
Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems. Dagstuhl Seminar on Graph Transformations in Computer Science (1993)
Klaus Barthelmann
Describing Göttler's Operational Graph Grammars with Pushouts. Graph-Grammars and Their Application to Computer Science (1990)