Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 37 (2003)
Sommaire du
Fascicule no. 1
Fixpoints, games and the difference hierarchy
Bradfield, Julian C.
p. 1-15
On the analysis of Petri nets and their synthesis from process languages
Czaja, Ludwik
p. 17-38
Lower bounds for Las Vegas automata by information theory
Hirvensalo, Mika
;
Seibert, Sebastian
p. 39-49
Complexity theoretical results on nondeterministic graph-driven read-once branching programs
Bollig, Beate
p. 51-66
Wadge degrees of
ω
-languages of deterministic Turing machines
Selivanov, Victor
p. 67-83
Some algorithms to compute the conjugates of episturmian morphisms
Richomme, Gwenael
p. 85-104
Sommaire du
Fascicule no. 2
On the topological complexity of infinitary rational relations
Finkel, Olivier
p. 105-113
Undecidability of topological and arithmetical properties of infinitary rational relations
Finkel, Olivier
p. 115-126
Smooth and sharp thresholds for random
k
-XOR-CNF satisfiability
Creignou, Nadia
;
Daudé, Hervé
p. 127-147
A bound for the
ω
-equivalence problem of polynomial D0L systems
Honkala, Juha
p. 149-157
The communication hierarchy of time and space bounded parallel machines
Popély, Norbert
p. 159-176
Sommaire du
Fascicule no. 3
Regular languages definable by Lindström quantifiers
Ésik, Zoltán
;
Larsen, Kim G.
p. 179-241
Equational description of pseudovarieties of homomorphisms
Kunc, Michal
p. 243-254
On
𝖿
-wise arc forwarding index and wavelength allocations in faulty all-optical hypercubes
Maňuch, Ján
;
Stacho, Ladislav
p. 255-270
Sommaire du
Fascicule no. 4
Preface
Ésik, Zoltán
;
Ingólfsdóttir, Anna
p. i
Traced premonoidal categories
Benton, Nick
;
Hyland, Martin
p. 273-299
Solving algebraic equations using coalgebra
Marchi, Federico De
;
Ghani, Neil
;
Lüth, Christoph
p. 301-314
Generalizing substitution
Uustalu, Tarmo
p. 315-336
Domain mu-calculus
Zhang, Guo-Qiang
p. 337-364
On global induction mechanisms in a
μ
-calculus with explicit approximations
Sprenger, Christoph
;
Dam, Mads
p. 365-391