TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
String-rewriting systems
RTA '98 Proceedings of the 9th International Conference on Rewriting Techniques and Applications
Decision problems for semi-Thue systems with a few rules
Theoretical Computer Science - Insightful theory
Effective preprocessing in SAT through variable and clause elimination
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
SAT Modulo Linear Arithmetic for Solving Polynomial Constraints
Journal of Automated Reasoning
On the domain and dimension hierarchy of matrix interpretations
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
| Hi-index | 0.89 |