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=224
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Ordinal theory for expressiveness of well-structured transition systems
Rémi Bonnet
,
Alain Finkel
,
Serge Haddad
,
Fernando Rosa-Velardo
Information and Computation
224
, 2013, pp. 1-22
A computational model for multi-variable differential calculus
Abbas Edalat
,
André Lieutier
,
Dirk Pattinson
Information and Computation
224
, 2013, pp. 23-45
Continuous-time stochastic games with time-bounded reachability
Tomás̑ Brázdil
,
Vojtȇch Forejt
,
Jan Krc̑ál
,
Jan Kȓetínský
,
Antonín Kuc̑era
Information and Computation
224
, 2013, pp. 46-70
Isomorphism of regular trees and words
Markus Lohrey
,
Christian Mathissen
Information and Computation
224
, 2013, pp. 71-105