4 ms·
Volker Diekert, Yves Metivier, "Partial Commutation and Traces https://pdfs.semanticscholar.org/d67a/c4c1e5967f7e114f390245f28909f259c034.pdf https://pdfs.seman
by crb002 8y ago
Volker Diekert, Yves Metivier, "Partial Commutation and Traces
https://pdfs.semanticscholar.org/d67a/c4c1e5967f7e114f390245f28909f259c034.pdf https://pdfs.semanticscholar.org/d67a/c4c1e5967f7e114f390245...
- agumonkey 8y agoI think I recall LaBRI being fond of infinite trees for logic programming too. I like trees. I never saw the paper you linked so thanks a lot.