Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=DCFS (Workshop)
cover
Descriptional complexity of formal systems : 17th International Workshop, DCF…
Comment Share
DCFS (Workshop)

This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is conc…

Edition
-
ISBN/ISSN
9783319192253
Collation
xii, 293 pages
Series Title
-
Call Number
518.1