|
" Descriptional complexity of formal systems : "
edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Document Type
|
:
|
BL
|
Record Number
|
:
|
862495
|
Main Entry
|
:
|
DCFS (Workshop)(21st :2019 :, Košice, Slovakia.)
|
Title & Author
|
:
|
Descriptional complexity of formal systems : : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings /\ edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
|
Publication Statement
|
:
|
Cham, Switzerland :: Springer,, 2019.
|
|
:
|
, ©2019
|
Series Statement
|
:
|
Lectures notes in computer science ;; 11612
|
|
:
|
Theoretical Computer Science and General Issues
|
Page. NO
|
:
|
1 online resource (x, 299 pages) :: illustrations
|
ISBN
|
:
|
3030232468
|
|
:
|
: 3030232476
|
|
:
|
: 3030232484
|
|
:
|
: 9783030232467
|
|
:
|
: 9783030232474
|
|
:
|
: 9783030232481
|
|
:
|
9783030232467
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index.
|
Abstract
|
:
|
This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others. --
|
Subject
|
:
|
Artificial intelligence.
|
Subject
|
:
|
Computer science.
|
Subject
|
:
|
Formal methods (Computer science), Congresses.
|
Subject
|
:
|
Logic design.
|
Subject
|
:
|
Artificial intelligence.
|
Subject
|
:
|
Computer science.
|
Subject
|
:
|
Formal methods (Computer science)
|
Subject
|
:
|
Logic design.
|
Dewey Classification
|
:
|
005.1015113
|
LC Classification
|
:
|
QA76.5913
|
|
:
|
QA76.63
|
|
:
|
QA76.9.L63D34 2019
|
Added Entry
|
:
|
Hospodár, Michal, (Computer scientist)
|
|
:
|
Jirásková, Galina
|
|
:
|
Konstantinidis, Stavros
|
Parallel Title
|
:
|
DCFS 2019
|
| |