Regulated Formal Models and Their Reduction
Regulated Formal Models and Their Reduction
rigorous thesis (RECOGNIZED)
View/
Permanent link
http://hdl.handle.net/20.500.11956/14256Identifiers
Study Information System: 64410
Collections
- Kvalifikační práce [11214]
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Theoretical computer science
Department
Department of Theoretical Computer Science and Mathematical Logic
Date of defense
18. 8. 2008
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
Czech
Grade
Recognized