Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Barthelmann, Klaus"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
When can an equational simple graph be generated by hyperedge replacement?
Klaus Barthelmann
Lecture Notes in Computer Science
1450
, 1998, pp. 543-552
Nondeterministic operations on finite relational structures
Klaus Barthelmann
Theoretical Computer Science
200
(1-2), 1998, pp. 1-44
Local normal forms for first-order logic with applications to games and automata
Thomas Schwentick
,
Klaus Barthelmann
Lecture Notes in Computer Science
1373
, 1998, pp. 444-454