home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
EPTCS
3 - DCFS 2009
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5257
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jürgen Dassow
,
Giovanni Pighizzini
,
Bianca Truthe
(Eds.):
Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems.
2009
EPTCS
3 [
contents
]
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-4760
ask others
Google
Google Scholar
MS Academic Search
PubZone
Christel Baier
,
Nathalie Bertrand
,
Marcus Größer
:
Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability.
... 3-16
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-4547
ask others
Google
Google Scholar
MS Academic Search
PubZone
Janusz A. Brzozowski
:
Quotient Complexity of Regular Languages.
... 17-28
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-4554
ask others
Google
Google Scholar
MS Academic Search
PubZone
John Jack
,
Andrei Paun
:
The Nondeterministic Waiting Time Algorithm: A Review.
... 29-46
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5058
ask others
Google
Google Scholar
MS Academic Search
PubZone
Marco Almeida
,
Nelma Moreira
,
Rogério Reis
:
Testing the Equivalence of Regular Languages.
... 47-57
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5083
ask others
Google
Google Scholar
MS Academic Search
PubZone
M. Sakthi Balan
:
Serializing the Parallelism in Parallel Communicating Pushdown Automata Systems.
... 59-68
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5055
ask others
Google
Google Scholar
MS Academic Search
PubZone
Fevzi Belli
,
Mutlu Beyazit
:
Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation.
... 69-77
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5111
ask others
Google
Google Scholar
MS Academic Search
PubZone
Franziska Biegler
,
Mark Daley
,
Ian McQuillan
:
On the Shuffle Automaton Size for Words.
... 79-89
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5119
ask others
Google
Google Scholar
MS Academic Search
PubZone
Erzsébet Csuhaj-Varjú
,
György Vaszil
:
On the Size Complexity of Non-Returning Context-Free PC Grammar Systems.
... 91-100
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5120
ask others
Google
Google Scholar
MS Academic Search
PubZone
Rudolf Freund
,
Andreas Klein
,
Martin Kutrib
:
On the Number of Membranes in Unary P Systems.
... 101-109
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5121
ask others
Google
Google Scholar
MS Academic Search
PubZone
Pierluigi Frisco
,
Oscar H. Ibarra
:
On Languages Accepted by P/T Systems Composed of joins.
... 111-120
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5124
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yuan Gao
,
Sheng Yu
:
State Complexity Approximation.
... 121-130
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5127
ask others
Google
Google Scholar
MS Academic Search
PubZone
Viliam Geffert
,
Lubomíra Istonová
:
Translation from Classical Two-Way Automata to Pebble Two-Way Automata.
... 131-140
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5063
ask others
Google
Google Scholar
MS Academic Search
PubZone
Hermann Gruber
,
Markus Holzer
,
Martin Kutrib
:
On Measuring Non-Recursive Trade-Offs.
... 141-150
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5072
ask others
Google
Google Scholar
MS Academic Search
PubZone
Galina Jirásková
,
Alexander Okhotin
:
Nondeterministic State Complexity of Positional Addition.
... 151-161
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5128
ask others
Google
Google Scholar
MS Academic Search
PubZone
Martin Kutrib
,
Andreas Malcher
:
Bounded Languages Meet Cellular Automata with Sparse Communication.
... 163-172
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5130
ask others
Google
Google Scholar
MS Academic Search
PubZone
Remco Loos
,
Florin Manea
,
Victor Mitrana
:
Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections.
... 173-182
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5132
ask others
Google
Google Scholar
MS Academic Search
PubZone
Tomás Masopust
,
Alexander Meduna
:
Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement.
... 183-192
view
table of contents in DBLP
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/corr/abs-0907-5136
ask others
Google
Google Scholar
MS Academic Search
PubZone
Ralf Stiebe
,
Sherzod Turaev
:
Capacity Bounded Grammars and Petri Nets.
... 193-203