Languages
Konstantinidis, Stavros.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Descriptional complexity of formal systems = 21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019 : proceedings /
by:
DCFS (Workshop) (2019 :); Hospodar, Michal.; Jiraskova, Galina.; Konstantinidis, Stavros.; SpringerLink (Online service)
(Electronic resources)
Descriptional complexity of formal systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings /
by:
DCFS (Workshop) (2018 :); Konstantinidis, Stavros.; Pighizzini, Giovanni.; SpringerLink (Online service)
(Electronic resources)
The role of theory in computer science = essays dedicated to Janusz Brzozowski /
by:
Brzozowski, Janusz A.; Konstantinidis, Stavros.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Language Translation and Linguistics.
Data Structures.
Database Management.
Formal methods (Computer science)
Logic design.
Special Purpose and Application-Based Systems.
Formal languages
Artificial Intelligence.
Computer Science.
Discrete Mathematics in Computer Science.
Computer science.
Artificial intelligence.