Normalisation for higher-order calculi with explicit substitutions
Theoretical Computer Science - Foundations of software science and computation structures
ω-rewriting the Collatz Problem
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Applications of infinitary lambda calculus
Information and Computation
Backward trace slicing for rewriting logic theories
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Continuity and discontinuity in lambda calculus
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
A proof of finite family developments for higher-order rewriting using a prefix property
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Term rewriting meets aspect-oriented programming
Processes, Terms and Cycles
Backward trace slicing for conditional rewrite theories
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
ω-rewriting the Collatz Problem
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Using conditional trace slicing for improving Maude programs
Science of Computer Programming
| Hi-index | 0.00 |