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

Show all versions (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....

全面介紹

書目詳細資料
Corporate Authors: DCFS 2011 Limburg, Germany, SpringerLink (Online service)
其他作者: Holzer, Markus, Kutrib, Martin, Pighizzini, Giovanni
格式: Electronic Resource
語言:English
出版: Berlin, Heidelberg Springer c2011.
叢編:Lecture notes in computer science 0302-9743 6808
LNCS sublibrary. SL 1, Theoretical computer science and general issues
主題:
Formal languages > Congresses.
Machine theory > Congresses.
Formal methods (Computer science) > Congresses.
Electronic books.
在線閱讀:Available for University of the Philippines Diliman via SpringerLink. Click here to access