Extension Orderings

Authors:
Albert Rubio
Affiliations:
-
Venue:
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
Year:
1995

Citing 0
Cited 2

Equational rules for rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
Recursive path orderings can also be incremental

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Quantified Score

Hi-index	0.01

Visualization

Abstract