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=142
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Set constraints and logic programming
Dexter Kozen
Information and Computation
142
(1), 1998, pp. 2-25
Repeated redundant inequalities in constraint logic programming
Spiro Michaylov
Information and Computation
142
(1), 1998, pp. 26-39
Set constraints in some equational theories
Witold Charatonik
Information and Computation
142
(1), 1998, pp. 40-75
How to win a game with features
Rolf Backofen
,
Ralf Treinen
Information and Computation
142
(1), 1998, pp. 76-101
Local simplification
Christopher Lynch
Information and Computation
142
(1), 1998, pp. 102-126
Bridging across the
\log(n)
space frontier
Viliam Geffert
Information and Computation
142
(2), 1998, pp. 127-158
All structured programs have small tree width and good register allocation
Mikkel Thorup
Information and Computation
142
(2), 1998, pp. 159-181
One-unambiguous regular languages
Anne Brüggemann-Klein
,
Derick Wood
Information and Computation
142
(2), 1998, pp. 182-206
Succinct representation, leaf languages, and projection reductions
Helmut Veith
Information and Computation
142
(2), 1998, pp. 207-236