Kruskal's tree theorem

Results: 2



#Item
1Kruskal’s Tree Theorem for Term Graphs Georg Moser Maria A Schett  TERMGRAPH 2016, Eindhoven

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

Add to Reading List

Source URL: www.maria-a-schett.net

Language: English - Date: 2016-12-11 09:17:20
2From Trees to Graphs: Kruskal’s Tree Theorem & Termination master’s thesis @ University of Innsbruck, Austria Maria A Schett

From Trees to Graphs: Kruskal’s Tree Theorem & Termination master’s thesis @ University of Innsbruck, Austria Maria A Schett

Add to Reading List

Source URL: www.maria-a-schett.net

Language: English - Date: 2016-12-11 09:17:22