ℹ️
🇬🇧
Search
Search for publications relevant for "lamda-confluence"
lamda-confluence
Publication
Class
Person
Publication
Programmes
publication
Lambda-Confluence Is Undecidable for Clearing Restarting Automata
2013 |
Faculty of Mathematics and Physics
