Descriptional Complexity of Formal Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642316227, 9783642316234

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deciding Representability of Sets of Words of Equal Length

Descriptional Complexity of Formal Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31623-4_8 ◽

2012 ◽

pp. 103-116

Author(s):

Francine Blanchet-Sadri ◽

Sean Simmons

Keyword(s):

Download Full-text

Minimal DFA for Symmetric Difference NFA

Descriptional Complexity of Formal Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31623-4_24 ◽

2012 ◽

pp. 307-318 ◽

Author(s):

Brink van der Merwe ◽

Hellis Tamm ◽

Lynette van Zijl

Keyword(s):

Symmetric Difference

Download Full-text

Computing with Capsules

Descriptional Complexity of Formal Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31623-4_1 ◽

2012 ◽

pp. 1-19 ◽

Author(s):

Jean-Baptiste Jeannin ◽

Dexter Kozen

Download Full-text

Bounded Counter Languages

Descriptional Complexity of Formal Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31623-4_21 ◽

2012 ◽

pp. 266-279

Author(s):

Holger Petersen

Download Full-text

Descriptional Complexity of Biautomata

Descriptional Complexity of Formal Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31623-4_15 ◽

2012 ◽

pp. 196-208 ◽

Author(s):

Galina Jirásková ◽

Ondřej Klíma

Keyword(s):

Descriptional Complexity

Download Full-text

Production Complexity of Some Operations on Context-Free Languages

Descriptional Complexity of Formal Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31623-4_11 ◽

2012 ◽

pp. 141-154 ◽

Author(s):

Jürgen Dassow ◽

Ronny Harbich

Keyword(s):

Download Full-text

Logical Analysis of Hybrid Systems

Descriptional Complexity of Formal Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31623-4_3 ◽

2012 ◽

pp. 43-49 ◽

Author(s):

André Platzer

Keyword(s):

Hybrid Systems ◽

Logical Analysis

Download Full-text

On Internal Contextual Grammars with Subregular Selection Languages

Descriptional Complexity of Formal Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31623-4_17 ◽

2012 ◽

pp. 222-235 ◽

Author(s):

Florin Manea ◽

Bianca Truthe

Download Full-text

State Complexity of Chop Operations on Unary and Finite Languages

Descriptional Complexity of Formal Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31623-4_13 ◽

2012 ◽

pp. 169-182 ◽

Author(s):

Markus Holzer ◽

Sebastian Jakobi

Keyword(s):

State Complexity

Download Full-text

On the Number of Nonterminal Symbols in Unambiguous Conjunctive Grammars

Descriptional Complexity of Formal Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31623-4_14 ◽

2012 ◽

pp. 183-195 ◽

Author(s):

Artur Jeż ◽

Alexander Okhotin

Keyword(s):

Conjunctive Grammars

Download Full-text