Record · corpus.blog/posts/01a087c2-0ac1-71a5-ba67-2e14ffeacb30
Arenas, Cyclic Terms, and Flat Equational Systems
Hey There Buddo! | Hot Leaves in a Cold Worlds. · published 1 June 2026
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
0blogs citing
- First cited
- —
- Most recent
- —
- Rank this month
- not ranked
- Links from this post
- 89
- Words captured
- 37,501
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
philipzucker.com
philipzucker.com
en.wikipedia.org
philipzucker.com
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
en.wikipedia.org
philipzucker.com
link.springer.com
link.springer.com
homes.cs.washington.edu
golem.ph.utexas.edu
en.wikipedia.org
philipzucker.com
pldi26.sigplan.org
softwarepreservation.computerhistory.org
smallbone.se
link.springer.com
https://web.archive.org/web/20221003021352/https://www3.cs.stonybrook.edu/~warren/xsbbook/node5.html
web.archive.org
www8.cs.fau.de
jeannin.github.io
jeannin.github.io
cl.cam.ac.uk
arxiv.org
jeannin.github.io
ncatlab.org
iris-project.org
link.springer.com
arxiv.org
arxiv.org
joerg.endrullis.de
github.com
cs.uoregon.edu
arxiv.org
homepage.divms.uiowa.edu
cs.cornell.edu
cs.cornell.edu
mathoverflow.net
cs.cornell.edu
arxiv.org
isabelle.in.tum.de
arxiv.org
adam.chlipala.net
youtube.com
arxiv.org
cs.cornell.edu
personal.cis.strath.ac.uk
mathoverflow.net
cs.stackexchange.com
isabelle.in.tum.de
github.com
github.com
maude.lcc.uma.es
swi-prolog.org