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=183
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Analysing the implicit complexity of programs
J.Y. Marion
Information and Computation
183
(1), 2003, pp. 2-18
Term rewriting for normalization by evaluation
Ulrich Berger
,
Matthias Eberl
,
Helmut Schwichtenberg
Information and Computation
183
(1), 2003, pp. 19-42
An upper bound on the derivational complexity of Knuth-Bendix orderings
Dieter Hofbauer
Information and Computation
183
(1), 2003, pp. 43-56
Linear types and non-size-increasing polynomial time computation
Martin Hofmann
Information and Computation
183
(1), 2003, pp. 57-85
On the power of tree-walking automata
Frank Neven
,
Thomas Schwentick
Information and Computation
183
(1), 2003, pp. 86-103
On the complexity of single-rule Datalog queries
Georg Gottlob
,
Christos Papadimitriou
Information and Computation
183
(1), 2003, pp. 104-122
Linear logic and elementary time
Vincent Danos
,
Jean-Baptiste Joinet
Information and Computation
183
(1), 2003, pp. 123-137
A rewriting approach to satisfiability procedures
Alessandro Armando
,
Silvio Ranise
,
Michaël Rusinowitch
Information and Computation
183
(2), 2003, pp. 140-164
Orienting rewrite rules with the Knuth-Bendix order
Konstantin Korovin
,
Andrei Voronkov
Information and Computation
183
(2), 2003, pp. 165-186
The unification problem for confluent right-ground term rewriting systems
Michio Oyamaguchi
,
Yoshikatsu Ohta
Information and Computation
183
(2), 2003, pp. 187-211
A formalised first-order confluence proof for the
\lambda
-calculus using one-sorted variable names
René Vestergaard
,
James Brotherston
Information and Computation
183
(2), 2003, pp. 212-244
The context-splittable normal form for Church-Rosser language systems
Jens R. Woinowski
Information and Computation
183
(2), 2003, pp. 245-274