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