Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings. (2018)
- Record Type:
- Book
- Title:
- Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings. (2018)
- Main Title:
- Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings
- Other Titles:
- DCFS 2018
- Further Information:
- Note: Edited by Stavros Konstantinidis, Giovanni Pighizzini (eds.).
- Editors:
- Konstantinidis, Stavros
Pighizzini, Giovanni - Other Names:
- DCFS (Workshop), 20th
- Contents:
- Formal languages and automata theory -- State complexity -- Grammars -- Randomness -- Automata extensions -- Algebraic language theory.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2018
- Extent:
- 1 online resource (xiv, 251 pages), illustrations
- Subjects:
- 004.01/51
Computer science
Formal methods (Computer science) -- Congresses
Formal languages -- Congresses
Formal languages
Formal methods (Computer science)
Computer Science
Logics and Meanings of Programs
Language Translation and Linguistics
Discrete Mathematics in Computer Science
Data Structures
Computers -- Speech & Audio Processing
Computers -- Data Processing
Computers -- Data Modeling & Design
Natural language & machine translation
Discrete mathematics
Algorithms & data structures
Logic design
Natural language processing (Computer science)
Computational complexity
Data structures (Computer science)
Computers -- Programming -- General
Computer programming / software development
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319946313
3319946315 - Related ISBNs:
- 9783319946306
3319946307 - Notes:
- Note: Includes bibliographical references and author index.
Note: Online resource; title from PDF title page (SpringerLink, viewed July 20, 2018). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.358918
- Ingest File:
- 01_321.xml