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

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642225994, 9783642226007
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Geometrical Regular Languages and Linear Diophantine Equations

2011 ◽  
pp. 107-120 ◽  
Author(s):  
Jean-Marc Champarnaud ◽  
Jean-Philippe Dubernard ◽  
Franck Guingne ◽  
Hadrien Jeanne
Keyword(s):  
Diophantine Equations ◽  
Regular Languages ◽  
Linear Diophantine Equations

The Size-Cost of Boolean Operations on Constant Height Deterministic Pushdown Automata

2011 ◽  
pp. 80-92 ◽  
Author(s):  
Zuzana Bednárová ◽  
Viliam Geffert ◽  
Carlo Mereghetti ◽  
Beatrice Palano
Keyword(s):  
Boolean Operations ◽  
Constant Height ◽  
Pushdown Automata

State Trade-Offs in Unranked Tree Automata

2011 ◽  
pp. 261-274 ◽  
Author(s):  
Xiaoxue Piao ◽  
Kai Salomaa
Keyword(s):  
Tree Automata ◽  
Trade Offs

State Complexity of Projected Languages

2011 ◽  
pp. 198-211 ◽  
Author(s):  
Galina Jirásková ◽  
Tomáš Masopust
Keyword(s):  
State Complexity

scholarly journals Construction and SAT-Based Verification of Contextual Unfoldings

2011 ◽  
pp. 34-42 ◽  
Author(s):  
Stefan Schwoon ◽  
César Rodríguez

On the Degree of Team Cooperation in CD Grammar Systems

2011 ◽  
pp. 68-79
Author(s):  
Fernando Arroyo ◽  
Juan Castellanos ◽  
Victor Mitrana
Keyword(s):  
Team Cooperation ◽  
Grammar Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document