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

Pokaż wszystkie wersje (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....

Szczegółowa specyfikacja

Opis bibliograficzny
organizacja autorów: DCFS 2011 Limburg, Germany, SpringerLink (Online service)
Kolejni autorzy: Holzer, Markus, Kutrib, Martin, Pighizzini, Giovanni
Format: Electronic Resource
Język:English
Wydane: Berlin, Heidelberg Springer c2011.
Seria:Lecture notes in computer science 0302-9743 6808
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Hasła przedmiotowe:
Formal languages > Congresses.
Machine theory > Congresses.
Formal methods (Computer science) > Congresses.
Electronic books.
Dostęp online:Available for University of the Philippines Diliman via SpringerLink. Click here to access