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="Hotz, G{\"u}nter"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Representation theorems for analytic machines and computability of analytic functions
Tobias Gärtner
,
Günter Hotz
Theory of Computing Systems
51
(1), 2012, pp. 65-84
Planarity testing of graphs on base of a spring model
Günter Hotz
,
Steffen Lohse
Lecture Notes in Computer Science
2265
, 2002, pp. 471-472
Analytic machines
Thomas Chadzelek
,
Günter Hotz
Theoretical Computer Science
219
(1-2), 1999, pp. 151-167
Analytic machines
Thomas Chadzelek
,
Günter Hotz
Technical Report (SFB 124-B1 12/97), 1997, November
On the arrangement complexity of uniform trees
Günter Hotz
,
Hongzhong Wu
Lecture Notes in Computer Science
1337
, 1997, pp. 337-350
Verifying parameterized recursive circuits using semantics-preserving transformations of nets
Günter Hotz
,
Bin Zhu
Technical Report (SFB 124-B1 11/97), 1997, November
Algorithmische Informationstheorie, Teil 1
Günter Hotz
Technical Report (A 01/97), 1997, January
On parsing coupled-context-free languages
Günter Hotz
,
Gisela Pitsch
Theoretical Computer Science
161
(1-2), 1996, pp. 205-233
A graphical interface for geometric theorem proving
Günter Hotz
,
Eva Rohnert
,
Elmar Schömer
Abstracts of the 1996 International Symposium on Symbolic and Algebraic Computation Poster Session, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996), 1996, pp. 49-52
A new approach to analyse coupled-context-free languages
Günter Hotz
,
Gisela Pitsch
Lecture Notes in Computer Science
969
, 1995, pp. 349-358
On the arrangment complexity of uniform trees
Günter Hotz
,
Hongzhong Wu
Technical Report (05/1995), 1995
Fast uniform analysis of coupled-context-free languages
Günter Hotz
,
Gisela Pitsch
Lecture Notes in Computer Science
820
, 1994, pp. 412-423
Suchbäume und Suchgraphen bei Markoffquellen
Günter Hotz
Technical Report (11/1993), 1993
Outline of an algebraic language theory
Günter Hotz
Lecture Notes in Computer Science
176
, 1984, pp. 64-79