عنوان
پدید آورنده
موضوع
رده
QA76.5913 D34 2019
QA76
.
5913
D34
2019
کتابخانه
محل استقرار
3030232468
3030232476
3030232484
9783030232467
9783030232474
9783030232481
9783030232467
Descriptional complexity of formal systems :
[Book]
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.
Cham, Switzerland :
Springer,
2019.
©2019
1 online resource (x, 299 pages) :
illustrations
Lectures notes in computer science ;
Theoretical Computer Science and General Issues
11612
Includes bibliographical references and author index.
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. --
Springer Nature
com.springer.onix.9783030232474
9783030232467
9783030232481
DCFS 2019
Artificial intelligence.
Computer science.
Formal methods (Computer science), Congresses.
Logic design.
Artificial intelligence.
Computer science.
Formal methods (Computer science)
Logic design.
COM051000
UM
UM
UYF
005
.
1015113
23
QA76
.
5913
QA76
.
63
QA76
.
9
.
L63
D34
2019
Hospodár, Michal, (Computer scientist)
Jirásková, Galina
Konstantinidis, Stavros
DCFS (Workshop)(21st :2019 :, Košice, Slovakia.)
20200823092746.0
pn
مطالعه متن کتاب [Book]
Y
