ℹ️
🇬🇧
Search
Search for people relevant for "Complete strong correctness preserving property"
Complete strong correctness preserving property
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...
