ℹ️
🇬🇧
Search
Search for publications relevant for "correctness preserving computation"
correctness preserving computation
Publication
Class
Person
Publication
Programmes
Export current view
publication
Characterizations of LRR-languages by correctness-preserving computations
2018 |
Faculty of Mathematics and Physics
publication
One-Way Restarting Automata and Their Sensitivity
2022 |
Faculty of Mathematics and Physics
