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=159
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The combinator
S
Johannes Waldmann
Information and Computation
159
(1-2), 2000, pp. 2-21
Ordering constraints over feature trees expressed in second-order monadic logic
Martin Müller
,
Joachim Niehren
Information and Computation
159
(1-2), 2000, pp. 22-58
Descendants and origins in term rewriting
Inge Bethke
,
Jan Willem Klop
,
Roel de Vrijer
Information and Computation
159
(1-2), 2000, pp. 59-124
On the undecidability of second-order unification
Jordi Levy
,
Margus Veanes
Information and Computation
159
(1-2), 2000, pp. 125-150
Induction =
I
-axiomatization + first-order consistency
Hubert Comon
,
Robert Nieuwenhuis
Information and Computation
159
(1-2), 2000, pp. 151-186