Theoretical Computer Science
Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
A3PAT, an approach for certified automated termination proofs
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Electronic Notes in Theoretical Computer Science (ENTCS)
AC completion with termination tools
CADE'11 Proceedings of the 23rd international conference on Automated deduction
State space reduction of rewrite theories using invisible transitions
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Deducibility constraints, equational theory and electronic money
Rewriting Computation and Proof
Order-sorted Equational Unification Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |