Kruskal’s Tree Theorem for Term Graphs

Georg Moser and Maria A. Schett
Proceedings of the 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016),  2016.

abstract   BibTeX   PDF