Special Issue on Developments in Language Theory — DLT 2009
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Volker Diekert, Dirk Nowotka
Special Issue on Developments in Language Theory — DLT 2009
DLT, 2011.

FLT
no DBLP info
Scholar
Full names Links ISxN
@proceedings{DLT-J-2009,
	editor        = "Volker Diekert and Dirk Nowotka",
	journal       = "{International Journal of Foundations of Computer Science}",
	number        = 2,
	publisher     = "{World Scientific}",
	title         = "{Special Issue on Developments in Language Theory — DLT 2009}",
	volume        = 22,
	year          = 2011,
}

Contents (13 items)

DLT-J-2009-BealBP11 #automaton #bound #clustering #polynomial #word
A Quadratic Upper Bound on the Size of a Synchronizing Word in One-Cluster Automata (MPB, MVB, DP), pp. 277–288.
DLT-J-2009-BertoniCR11 #context-free grammar #problem
The Inclusion Problem of Context-Free Languages: Some Tractable Cases (AB, CC, RR), pp. 289–299.
DLT-J-2009-BrzozowskiGS11 #formal method #theorem
Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 301–321.
DLT-J-2009-Fazekas11 #regular expression
Powers of Regular Languages (SZF), pp. 323–330.
DLT-J-2009-Jiraskova11
Magic Numbers and Ternary Alphabet (GJ), pp. 331–344.
DLT-J-2009-LaineP11 #equation #word
Word Equations with One Unknown (ML, WP), pp. 345–375.
DLT-J-2009-LehtinenO11 #equation #on the #set
On Equations over Sets of Numbers and their Limitations (TL, AO), pp. 377–393.
DLT-J-2009-Petersen11 #bound #simulation
Simulations by Time-Bounded Counter Machines (HP), pp. 395–409.
DLT-J-2009-Zetzsche11 #capacity #comprehension #generative #matrix #towards
Toward Understanding the Generative Capacity of Erasing Rules in Matrix Grammars (GZ), pp. 411–426.
DLT-J-2009-GazdagN11 #theorem
A Kleene Theorem for Bisemigroup and binoid Languages (ZG, ZLN), pp. 427–446.
DLT-J-2009-KariMS11 #pseudo #word
Properties of Pseudo-Primitive Words and their Applications (LK, BM, SS), pp. 447–471.
DLT-J-2009-HalavaH11 #problem #reduction
Reduction Tree of the Binary Generalized Post Correspondence Problem (VH, SH), pp. 473–490.
DLT-J-2009-BloomE11 #algebra #linear #order
Algebraic Linear Orderings (SLB, ), pp. 491–515.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.