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=Theor.~Comput.~Sci. AND Volume=356
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Codes, unambiguous automata and sofic systems
Marie-Pierre Béal
,
Dominique Perrin
Theoretical Computer Science
356
(1-2), 2006, pp. 6-13
Some formal tools for analyzing quantum automata
Alberto Bertoni
,
Carlo Mereghetti
,
Beatrice Palano
Theoretical Computer Science
356
(1-2), 2006, pp. 14-25
Reducibility of gene patterns in ciliates using the breakpoint graph
Robert Brijder
,
Hendrik Jan Hoogeboom
,
Grzegorz Rozenberg
Theoretical Computer Science
356
(1-2), 2006, pp. 26-45
Representation of a class of nondeterministic semiautomata by canonical words
Janusz A. Brzozowski
Theoretical Computer Science
356
(1-2), 2006, pp. 46-57
A reconstruction algorithm for
L
-convex polyominoes
Giusi Castiglione
,
Antonio Restivo
,
Roberto Vaglica
Theoretical Computer Science
356
(1-2), 2006, pp. 58-72
Actions, wreath products of
C
-varieties and concatenation product
Laura Chaubard
,
Jean-Éric Pin
,
Howard Straubing
Theoretical Computer Science
356
(1-2), 2006, pp. 73-89
Picture languages: Tiling systems versus tile rewriting grammars
Alessandra Cherubini
,
Stefano Crespi Reghizzi
,
Matteo Pradella
,
Pierluigi San Pietro
Theoretical Computer Science
356
(1-2), 2006, pp. 90-103
On the structure of the counting function of sparse context-free languages
Flavio D'Alessandro
,
Benedetto Intrigila
,
Stefano Varricchio
Theoretical Computer Science
356
(1-2), 2006, pp. 104-117
Some characterizations of finite Sturmian words
Aldo de Luca
,
Alessandro De Luca
Theoretical Computer Science
356
(1-2), 2006, pp. 118-125
From local to global temporal logics over Mazurkiewicz traces
Volker Diekert
,
Paul Gastin
Theoretical Computer Science
356
(1-2), 2006, pp. 126-135
Characterizing CTL-like logics on finite trees
Zoltán Ésik
Theoretical Computer Science
356
(1-2), 2006, pp. 136-152
Pattern statistics and Vandermonde matrices
Massimiliano Goldwurm
,
Violetta Lonati
Theoretical Computer Science
356
(1-2), 2006, pp. 153-169
Synchronization of a bounded degree graph of cellular automata with nonuniform delays in time
D \lfloor \log_m D\rfloor
Serge Grigorieff
Theoretical Computer Science
356
(1-2), 2006, pp. 170-185
On unique factorizations of primitive words
Tero Harju
,
Dirk Nowotka
Theoretical Computer Science
356
(1-2), 2006, pp. 186-189
On partially blind multihead finite automata
Oscar H. Ibarra
,
Bala Ravikumar
Theoretical Computer Science
356
(1-2), 2006, pp. 190-199
Computing by commuting
Juhani Karhumäki
,
Michal Kunc
,
Alexander Okhotin
Theoretical Computer Science
356
(1-2), 2006, pp. 200-211
Identification of biRFSA languages
Michel Latteux
,
Aurélien Lemay
,
Yves Roos
,
Alain Terlutte
Theoretical Computer Science
356
(1-2), 2006, pp. 212-223
Sequential?
Sylvain Lombardy
,
Jacques Sakarovitch
Theoretical Computer Science
356
(1-2), 2006, pp. 224-244
Completing prefix codes in submonoids
Jean Néraud
Theoretical Computer Science
356
(1-2), 2006, pp. 245-254
Time-stamps for Mazurkiewicz traces
Wiesƚaw Zielonka
Theoretical Computer Science
356
(1-2), 2006, pp. 255-262
On the expressiveness of higher dimensional automata
R.J. van Glabbeek
Theoretical Computer Science
356
(3), 2006, pp. 265-290
Fairness of components in system computations
F. Corradini
,
M.R. Di Berardini
,
W. Vogler
Theoretical Computer Science
356
(3), 2006, pp. 291-324
Branching bisimulation for probabilistic systems: Characteristics and decidability
Suzana Andova
,
Tim A.C. Willemse
Theoretical Computer Science
356
(3), 2006, pp. 325-355
Concurrent nets: A study of prefixing in process calculi
Emmanuel Beffara
,
François Maurel
Theoretical Computer Science
356
(3), 2006, pp. 356-373
On the
\omega
-language expressive power of extended Petri nets
A. Finkel
,
G. Geeraerts
,
J.-F. Raskin
,
L. Van Begin
Theoretical Computer Science
356
(3), 2006, pp. 374-386
Seiten 1
2
>