Improving Homeomorphic Embedding for Online Termination
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Homeomorphic embedding for online termination of symbolic methods
The essence of computation
Well quasi-orders generated by a word-shuffle rewriting
Theoretical Computer Science
Well Quasi-orders in Formal Language Theory
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Avoidable sets and well quasi-orders
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Well quasi orders and the shuffle closure of finite sets
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Termination Of Term Rewriting By Semantic Labelling
Fundamenta Informaticae
Hi-index | 0.00 |