Relative undecidability in term rewriting: I. the termination Hierarchy
Information and Computation
Inverse functions in the AquaLogic Data Services Platform
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Levels of undecidability in rewriting
Information and Computation
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Termination tools in ordered completion
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Termination of Graph Rewriting is Undecidable
Fundamenta Informaticae
Hi-index | 0.00 |