Kucera, Antonin.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
Kucera, Antonin.; Potapov, Igor.; SpringerLink (Online service)
(Language materials, printed)
Mathematical foundations of computer science 2010 = 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
Hlineny, Petr.; Kucera, Antonin.; SpringerLink (Online service)
(Language materials, printed)
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- Verification
Computer logic
Computer science- Mathematics
Programming Languages, Compilers, Interpreters.
Computer Science.
Discrete Mathematics in Computer Science.
Decidability (Mathematical logic)
Graph theory- Data processing