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
Hilfe
Suche: Author="Gallier, Jean H."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Deterministic finite automata with recursive calls and DPDAs
Jean H. Gallier
,
Salvatore La Torre
,
Supratik Mukhopadhyay
Information Processing Letters
87
(4), 2003, pp. 187-193
Complete sets of transformations for general
E
-unification
Jean H. Gallier
,
Wayne Snyder
Theoretical Computer Science
67
, 1989, pp. 203-260
Fast algorithms for testing unsatisfiability of ground Horn clauses with equations
Jean H. Gallier
Journal Symbolic Computation
4
(2), 1987, pp. 233-254
DPDA's in ``Atomic Normal Form'' and applications to equivalence problems
Jean H. Gallier
Theoretical Computer Science
14
, 1981, pp. 155-186
On the existence of optimal fixpoints
Jean H. Gallier
Math. Systems Theory
13
, 1979/80, pp. 209-217