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 | Kruskal’s Tree Theorem for Term Graphs Georg Moser Maria A Schett TERMGRAPH 2016, EindhovenAdd to Reading ListSource URL: www.maria-a-schett.netDownload Document from Source WebsiteFile Size: 305,94 KBShare Document on Facebook |