Opening book details…
Can I read Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings (Lecture Notes in Computer Science, 8614) on EtoBox?
Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings (Lecture Notes in Computer Science, 8614) by Helmut Jürgensen, Juhani Karhumäki, and Alexander Okhotin (eds.) is a computer science book available to read on EtoBox.
What is Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings (Lecture Notes in Computer Science, 8614) about?
This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27 full papers presented were carefully reviewed and selected from 35 submissions. The conference dealt with the following topics: Automata, grammars, languages and other formal systems; various modes of operation and complexity measures; trade-offs between computational models and modes of operation; succinctnes
Who reads Descriptional Complexity of Formal Systems: 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings (Lecture Notes in Computer Science, 8614)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Helmut Jürgensen, Juhani Karhumäki, and Alexander Okhotin (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2014
- Language
- EN
- ISBN
- 9783319097039
- Category
- computer science
- Subjects
- Mathematics, Science, Technology
- Updated
- 2026-03-24
Other editions & translations
More by Helmut Jürgensen, Juhani Karhumäki, and Alexander Okhotin (eds.)
Browse all works by Helmut Jürgensen, Juhani Karhumäki, and Alexander Okhotin (eds.)
Similar books
- Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings (Lecture Notes in Computer Science, 7386) — Jean-Baptiste Jeannin, Dexter Kozen (auth.), Martin Kutrib, Nelma Moreira, Rogério Reis (2012)
- FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science, 5014) — Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (2008)
- Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes in Computer Science, 6959) — Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (2011)
- Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science (3142)) — Robert Harper (auth.), Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella (2004)
- Algorithm Theory - SWAT 2002: 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings (Lecture Notes in Computer Science (2368)) — Torben Hagerup, Rajeev Raman (auth.), Martti Penttonen, Erik Meineche Schmidt (2002)
- Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings (Lecture Notes in Computer Science) — Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (1996)