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