Kucera, Antonin.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Reachability problems4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(1998 :); Kucera, Antonin.; Potapov, Igor.; SpringerLink (Online service)
(Electronic resources)
Mathematical foundations of computer science 201035th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
(1998 :); Hlineny, Petr.; Kucera, Antonin.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Data Structures.
Computer systems
Computer logic
Programming Languages, Compilers, Interpreters.
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Decidability (Mathematical logic)
Graph theory