Descriptional complexity of formal systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

Descriptional complexity of formal systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

Mostrar todas las versiones(2)

This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011. The 21 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 54 submissions....

Descripción completa

Detalles Bibliográficos
Autores Corporativos: DCFS 2011 Limburg, Germany, SpringerLink (Online service)
Otros Autores: Holzer, Markus, Kutrib, Martin, Pighizzini, Giovanni
Formato: Electronic Resource
Lenguaje:English
Publicado: Berlin, Heidelberg Springer c2011.
Colección:Lecture notes in computer science 0302-9743 6808
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Materias:
Formal languages > Congresses.
Machine theory > Congresses.
Formal methods (Computer science) > Congresses.
Electronic books.
Acceso en línea:Available for University of the Philippines Diliman via SpringerLink. Click here to access