<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2016-12-11 09:17:20Mathematics Graph theory Discrete mathematics Mathematical logic Wellfoundedness Logic in computer science Rewriting Kruskal's tree theorem Graph |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2016-12-11 09:17:20Mathematics Graph theory Discrete mathematics Mathematical logic Wellfoundedness Logic in computer science Rewriting Kruskal's tree theorem Graph |
Add to Reading List |
Kruskal’s Tree Theorem for Term Graphs Georg Moser Maria A Schett TERMGRAPH 2016, Eindhoven