Languages
Konstantinidis, Stavros.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Descriptional complexity of formal systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Konstantinidis, Stavros.; SpringerLink (Online service); Pighizzini, Giovanni.
(Language materials, printed)
Descriptional Complexity of Formal Systems = 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings /
by:
Konstantinidis, Stavros.; Jirásková, Galina.; SpringerLink (Online service); Hospodár, Michal.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Descriptional Complexity of Formal Systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings /
by:
SpringerLink (Online service); Pighizzini, Giovanni.; Konstantinidis, Stavros.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Implementation and application of automata = 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Konstantinidis, Stavros.; SpringerLink (Online service)
(Language materials, printed)
The role of theory in computer science = essays dedicated to Janusz Brzozowski /
by:
Konstantinidis, Stavros.; Brzozowski, Janusz A.
(Language materials, printed)
Subjects
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Artificial intelligence.
Robotics
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Formal languages
Artificial Intelligence.
Natural Language Processing (NLP).
Information Storage and Retrieval.
Machine theory
Database Management.
Algorithm Analysis and Problem Complexity.
Computer logic.
Language Translation and Linguistics.
Natural language processing (Computer science).
Data Structures.
Data structures (Computer science).
Computer Science.
Special purpose computers.
Database management.
Special Purpose and Application-Based Systems.
Computer science.
Discrete Mathematics in Computer Science.
Computational Biology/Bioinformatics.
Computation by Abstract Devices.