Back to Results
First PageMeta Content
Mathematics / Graph theory / Discrete mathematics / Mathematical logic / Wellfoundedness / Logic in computer science / Rewriting / Kruskal's tree theorem / Graph


Kruskal’s Tree Theorem for Term Graphs Georg Moser Maria A Schett TERMGRAPH 2016, Eindhoven
Add to Reading List

Document Date: 2016-12-11 09:17:20


Open Document

File Size: 305,94 KB

Share Result on Facebook