ℹ️
🇬🇧
Search
Search for people relevant for "Limited context restarting automaton"
Limited context restarting automaton
Person
Class
Person
Publication
Programmes
Export current view
Prof., Dr. Friedrich Otto
Person without affiliation with CUNI
1 publication
Publication
publication
Lambda-confluence for context rewriting systems
2015 |
Faculty of Mathematics and Physics
Loading network view...
