Semi-Thue Systems with an Inhibitor
Journal of Automated Reasoning
Fatal steps of Knuth-Bendix completion
Nordic Journal of Computing
Acceptability with General Orderings
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Well-Founded Recursive Relations
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A New Rewrite Method for Convergence of Self-Stabilizing Systems
Proceedings of the 13th International Symposium on Distributed Computing
Simplification Orderings: History Of Results
Fundamenta Informaticae
Hi-index | 0.00 |