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=225
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Subshifts as models for MSO logic
Emmanuel Jeandel
,
Guillaume Theyssier
Information and Computation
225
, 2013, pp. 1-15
Worst-case optimal exploration of terrains with obstacles
Jurek Czyzowicz
,
David Ilcinkas
,
Arnaud Labourel
,
Andrzej Pelc
Information and Computation
225
, 2013, pp. 16-28
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
Marco Bernardo
,
Rocco De Nicola
,
Michele Loreti
Information and Computation
225
, 2013, pp. 29-82
How iterative reflections of monads are constructed
Jiȓí Adámek
,
Stefan Milius
,
Jiȓí Velebil
Information and Computation
225
, 2013, pp. 83-118