Back to Results
First PageMeta Content
Mathematical logic / Rewriting / Monotonic function / Monotonicity criterion / Abstraction / Mathematics / Formal languages / Logic in computer science


Dependency Pairs are a Simple Semantic Path Ordering Nachum Dershowitz School of Computer Science, Tel Aviv University Ramat Aviv, Israel
Add to Reading List

Document Date: 2013-08-26 10:13:12

Open Document

File Size: 312,71 KB

Share Result on Facebook
UPDATE