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