Back to Results
First PageMeta Content
Logic in computer science / Logic programming / Automated theorem proving / Formal languages / Type theory / Substitution / Unification / Admissible rule / Futures and promises / Rewrite order / Rewriting / Symbol


Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting —
Add to Reading List

Document Date: 2012-09-07 15:06:52


Open Document

File Size: 659,46 KB

Share Result on Facebook