ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Ground Tree Rewriting Graphs of Bounded Tree Width
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Model-Checking Infinite Systems Generated by Ground Tree Rewriting
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Decidable call-by-need computations in term rewriting
Information and Computation
Verification of well-formed communicating recursive state machines
Theoretical Computer Science
Decidable call-by-need computations in term rewriting
Information and Computation
Regular Tree Languages And Rewrite Systems
Fundamenta Informaticae
Hi-index | 0.00 |