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="Gallier, Jean"
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
Proving properties of typed
\lambda
-terms using realizability, covers, and sheaves
Jean Gallier
Theoretical Computer Science
142
(2), 1995, pp. 299-368
Polymorphic rewriting conserves algebraic confluence
Val Breazu-Tannen
,
Jean Gallier
Information and Computation
114
(1), 1994, October, pp. 1-29
Constructive logics Part I: A tutorial on proof systems and typed
\lambda
-calculi
Jean Gallier
Theoretical Computer Science
110
, 1993, pp. 249-339
Polymorphic rewriting conserves algebraic strong normalization
Val Breazu-Tannen
,
Jean Gallier
Theoretical Computer Science
83
, 1991, pp. 3-28
Rigid
E
-unification:
NP
-completeness and applications to equational matings
Jean Gallier
,
Paliath Narendran
,
David Plaisted
,
Wayne Snyder
Information and Computation
87
(1/2), 1990, July/August, pp. 129-195
Complete sets of transformations for general
E
-unification
Jean H. Gallier
,
Wayne Snyder
Theoretical Computer Science
67
, 1989, pp. 203-260
Higher-order unification revisited: Complete sets of transformations
Wayne Snyder
,
Jean Gallier
Journal Symbolic Computation
8
(1-2), 1989, pp. 101-140
Fast algorithms for testing unsatisfiability of ground Horn clauses with equations
Jean H. Gallier
Journal Symbolic Computation
4
(2), 1987, pp. 233-254
Linear time algorithms for testing the satisfiability of propositional Horn formulae
William Dowling
,
Jean Gallier
Technical Report (MS-CIS-84-30), 1984, August
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