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: Journal=Inf.~Comput. AND Volume=157
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Tree canonization and transitive closure
Kousha Etessami
,
Neil Immerman
Information and Computation
157
(1-2), 2000, pp. 2-24
Sequentiality, monadic second-order logic and tree automata
Hubert Comon
Information and Computation
157
(1-2), 2000, pp. 25-51
Equality between functionals in the presence of coproducts
Daniel J. Dougherty
,
Ramesh Subrahmanyam
Information and Computation
157
(1-2), 2000, pp. 52-83
Structural cut elimination: I. Intuitionistic and classical logic
Frank Pfenning
Information and Computation
157
(1-2), 2000, pp. 84-141
Completeness of Kozen's axiomatisation of the propositional
\mu
-calculus
Igor Walukiewicz
Information and Computation
157
(1-2), 2000, pp. 142-182
Higher order unification via explicit substitutions
Gilles Dowek
,
Thérèse Hardin
,
Claude Kirchner
Information and Computation
157
(1-2), 2000, pp. 183-235