ℹ️
🇬🇧
Search
Search for publications relevant for "contextual rewriting"
contextual rewriting
Publication
Class
Person
Publication
Programmes
publication
On the Clases of Languages Accepted by Limited Context Restarting Automata
2014 |
Faculty of Mathematics and Physics
publication
Limited context restarting automata and McNaughton families of languages
+1
2012 |
Faculty of Mathematics and Physics
publication
Lambda-Confluence Is Undecidable for Clearing Restarting Automata
2013 |
Faculty of Mathematics and Physics
publication
Regulated variants of limited context restarting automata
2017 |
Faculty of Mathematics and Physics
publication
Lambda-confluence for context rewriting systems
2015 |
Faculty of Mathematics and Physics