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=197
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages
Gundula Niemann
,
Friedrich Otto
Information and Computation
197
(1-2), 2005, pp. 1-21
Simulating perfect channels with probabilistic lossy channels
Parosh Abdulla
,
Christel Baier
,
S. Purushothaman Iyer
,
Bengt Jonsson
Information and Computation
197
(1-2), 2005, pp. 22-40
Weakly useful sequences
Stephen A. Fenner
,
Jack H. Lutz
,
Elvira Mayordomo
,
Patrick Reardon
Information and Computation
197
(1-2), 2005, pp. 41-54
The equational theory of regular words
Stephen L. Bloom
,
Zoltán Ésik
Information and Computation
197
(1-2), 2005, pp. 55-89
Minimal-change integrity maintenance using tuple deletions
Jan Chomicki
,
Jerzy Marcinkowski
Information and Computation
197
(1-2), 2005, pp. 90-121
Transitivity in coercive subtyping
Zhaohui Luo
,
Yong Luo
Information and Computation
197
(1-2), 2005, pp. 122-144