Kruskal's tree theorem
Results: 2
# | Item |
---|---|
1![]() | Kruskal’s Tree Theorem for Term Graphs Georg Moser Maria A Schett TERMGRAPH 2016, EindhovenAdd to Reading ListSource URL: www.maria-a-schett.netLanguage: English - Date: 2016-12-11 09:17:20 |
2![]() | From Trees to Graphs: Kruskal’s Tree Theorem & Termination master’s thesis @ University of Innsbruck, Austria Maria A SchettAdd to Reading ListSource URL: www.maria-a-schett.netLanguage: English - Date: 2016-12-11 09:17:22 |