ℹ️
🇬🇧
Search
Search for people relevant for "correctness preserving computation"
correctness preserving computation
Person
Class
Person
Publication
Programmes
Export current view
Friedrich Otto Dr.
Person without affiliation with CUNI
3 publications
Publications
publication
Characterizations of LRR-languages by correctness-preserving computations
2018 |
Faculty of Mathematics and Physics
publication
On Deleting Deterministic Restarting Automata That Have Two Windows
2018 |
Faculty of Mathematics and Physics
publication
Two-sided locally testable languages
2018 |
Faculty of Mathematics and Physics
Loading network view...
