[Back]


Contributions to Proceedings:

B. Gramlich, S. Lucas:
"Simple Termination of Context-Sensitive Rewriting";
in: "Proc. 3rd ACM Sigplan Workshop on Rule-based Programming (RULE 2002)", Springer, 2002, ISBN: 1-58113-606-4, 29 - 41.


Created from the Publication Database of the Vienna University of Technology.