1 http://hdl.handle.net/10338.dmlcz/127219 1 The Channel Image http://localhost:8080/retrieve/2248562 http://hdl.handle.net/10338.dmlcz/127219 A graph method for Markov models solving http://hdl.handle.net/10338.dmlcz/120476 A graph method for Markov models solving Fri, 30 Jan 2009 09:01:01 GMT Nondeterministic forgetting automata are less powerful than deterministic linear bounded automata http://hdl.handle.net/10338.dmlcz/120475 Nondeterministic forgetting automata are less powerful than deterministic linear bounded automata Fri, 30 Jan 2009 09:00:57 GMT Maximal reflectivity preserving subextensions http://hdl.handle.net/10338.dmlcz/120474 Maximal reflectivity preserving subextensions Fri, 30 Jan 2009 09:00:53 GMT Division space axiomatics http://hdl.handle.net/10338.dmlcz/120473 Division space axiomatics Fri, 30 Jan 2009 09:00:49 GMT