Languages
Reis, Rogerio.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
Reis, Rogerio.; Congress on Progress and Controversies in Oncological Urology (2000:); Kutrib, Martin.; Moreira, Nelma.; SpringerLink (Online service)
(Electronic resources)
Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings /
by:
Reis, Rogerio.; Congress on Progress and Controversies in Oncological Urology (2000:); Moreira, Nelma.; SpringerLink (Online service)
(Electronic resources)
Subjects
Formal methods (Computer science)
Formal languages
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Robotics
Data Structures.
Information Storage and Retrieval.
Computational complexity
Machine theory
Computer Science.
Computational Biology/Bioinformatics.