Jirásková, Galina.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Descriptional Complexity of Formal Systems = 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings /
by:
Jirásková, Galina.; Pighizzini, Giovanni.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Descriptional Complexity of Formal Systems = 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings /
by:
Jirásková, Galina.; SpringerLink (Online service); Konstantinidis, Stavros.; Hospodár, Michal.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Implementation and Application of Automata = 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings /
by:
SpringerLink (Online service); Jirásková, Galina.; Hospodár, Michal.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Computer organization.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial intelligence.
Software engineering.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Artificial Intelligence.
Database management.
Special Purpose and Application-Based Systems.
Database Management.