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.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Language Translation and Linguistics.
Natural language processing (Computer science).
Robotics
Data Structures.
Data structures (Computer science).
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Special purpose computers.
Formal languages
Database management.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Natural Language Processing (NLP).
Computer science.
Information Storage and Retrieval.
Discrete Mathematics in Computer Science.
Machine theory
Computational Biology/Bioinformatics.
Computation by Abstract Devices.
Database Management.