Catalog

Record Details

Catalog Search


Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings Cover Image E-book E-book

Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / edited by Helmut Jurgensen, Rogério Reis.

Jurgensen, Helmut. (editor.). Reis, Rogério. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642393105
  • Physical Description: X, 289 p. 56 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.

Search for related items by subject

Subject: Computer science.
Computer software.
Logic design.
Computational complexity.
Computer Science.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Discrete Mathematics in Computer Science.

Search for related items by series

Electronic resources

Texto completo


Additional Resources