Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems
Ian McQuillan, Giovanni Pighizzini
TL;DR
This workshop proceedings compiles research papers on the descriptional complexity of formal systems, highlighting recent advances and discussions in the field from the 2010 conference.
Contribution
It presents a collection of invited and accepted papers that showcase new research and developments in the descriptional complexity of formal systems.
Findings
Diverse approaches to measuring formal system complexity
New bounds and algorithms for descriptional complexity
Insights into the computational resources needed for formal systems
Abstract
The 12th annual workshop, Descriptional Complexity of Formal Systems 2010, is taking place in Saskatoon, Canada, on August 8-10, 2010. It is jointly organized by the IFIP Working Group 1.2 on Descriptional Complexity and by the Department of Computer Science at the University of Saskatchewan. This volume contains the papers of the invited lectures and the accepted contributions.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.