Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /

Descriptional complexity of formal systems : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings /

Show other versions (2)

This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers presented were carefully reviewed and selected from 24 submissions. DCFS is an annual international worki...

Full description

Bibliographic Details
Corporate Author: DCFS (Workshop) Halifax, N.S.)
Other Authors: Konstantinidis, Stavros (Editor), Pighizzini, Giovanni (Editor)
Format: Conference Proceeding Book
Language:English
Published: Cham, Switzerland : Springer, 2018
Series:LNCS sublibrary Theoretical computer science and general issues.
Lecture notes in computer science ; 10952
Subjects:
Formal languages > Congresses
Formal methods (Computer science) > Congresses
Algorithms & data structures
Computer programming > software development
Computers > Data Modeling & Design
Computers > Data Processing
Computers > Programming > General
Computers > Speech & Audio Processing
Discrete mathematics
Formal languages
Formal methods (Computer science)
Natural language & machine translation
Electronic books
Conference papers and proceedings

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: ISIL:US-CST

Similar Items