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=228-229
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Converting nondeterministic automata and context-free grammars into Parikh equivalent one-way and two-way deterministic automata
Giovanna J. Lavado
,
Giovanni Pighizzini
,
Shinnosuke Seki
Information and Computation
228-229
, 2013, pp. 1-15
Topological extension of parity automata
Michaƚ Skrzypczak
Information and Computation
228-229
, 2013, pp. 16-27
Solutions and query rewriting in data exchange
Marcelo Arenas
,
Pablo Barceló
,
Ronald Fagin
,
Leonid Libkin
Information and Computation
228-229
, 2013, pp. 28-61
The expressive power of CHR with priorities
Maurizio Gabbrielli
,
Jacopo Mauro
,
Maria Chiara Meo
Information and Computation
228-229
, 2013, pp. 62-82
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
Krishnendu Chatterjee
,
Vinayak S. Prabhu
Information and Computation
228-229
, 2013, pp. 83-119