Record · philipzucker.com

Refinement E-Graphs

Hey There Buddo! | Hot Leaves in a Cold Worlds. · 4 October 2026 · 67 min read

A post on philipzucker.com, published 4 October 2026, has not been cited by any blog yet (corpus.blog, measured 12 October 2026).

A record is what was published and who pointed at it. The text of the post is not shown here: read it at the source, or at its Wayback capture.

Read at philipzucker.com Wayback capture

0blogs citing

Citing blogs and links by period
Period	Blogs	Links
All time	0	0
Last 90 days	0	0
Last 30 days	0	0
Last 7 days	0	0

Figures for this page
Words blogs link it with	0
External links	29
Length	15,378

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://egraphs.org/ Who cites this page

egraphs.org

https://en.wikipedia.org/wiki/Don%27t-care_term Who cites this page

en.wikipedia.org

https://en.wikipedia.org/wiki/Value_restriction Who cites this page

en.wikipedia.org

https://github.com/egraphs-good/egglog Who cites this page

github.com

https://docs.google.com/document/d/15amCalh9CSOWbbZ3d_haNad0Pw_jJ7vYcjMLkp7r-AA/edit?tab=t.0 Who cites this page

docs.google.com

https://en.wikipedia.org/wiki/Tietze_transformations Who cites this page

en.wikipedia.org

https://link.springer.com/chapter/10.1007/11780274_26 Who cites this page

link.springer.com

https://github.com/philzook58/refinement-microegg Who cites this page

github.com

https://github.com/mwillsey/microegg Who cites this page

github.com

https://www.youtube.com/watch?v=h1CzZguA6DE Who cites this page

youtube.com

https://www.cs.bu.edu/fac/snyder/publications/UnifChapter.pdf Who cites this page

cs.bu.edu

https://rocq-prover.org/doc/V9.2.0/refman/addendum/generalized-rewriting.html Who cites this page

rocq-prover.org

http://www.mathmeth.com/read.shtml Who cites this page

mathmeth.com

https://counterexamples.org/polymorphic-references.html Who cites this page

counterexamples.org

https://microsoft.github.io/z3guide/docs/theories/Special%20Relations/ Who cites this page

microsoft.github.io

https://www.sciencedirect.com/science/article/pii/S1571066104002968 Who cites this page

sciencedirect.com

https://cstheory.stackexchange.com/questions/12326/unification-and-gaussian-elimination Who cites this page

cstheory.stackexchange.com

https://en.wikipedia.org/wiki/Lempel%E2%80%93Ziv%E2%80%93Welch Who cites this page

en.wikipedia.org

https://courses.grainger.illinois.edu/cs576/sp2017/readings/18-mar-9/rubio-ac-rpo-long.pdf Who cites this page

courses.grainger.illinois.edu

https://arxiv.org/pdf/1403.0406 Who cites this page

arxiv.org

https://courses.grainger.illinois.edu/cs576/sp2017/readings/18-mar-9/narendran-rusinowitz-ground-AC-compl.pdf Who cites this page

courses.grainger.illinois.edu

https://courses.grainger.illinois.edu/cs576/sp2017/ Who cites this page

courses.grainger.illinois.edu

https://courses.grainger.illinois.edu/CS476/fa2022/ Who cites this page

courses.grainger.illinois.edu

https://courses.grainger.illinois.edu/CS476/fa2022/readings/meseguer-set-theory-algebra-computer-science.pdf Who cites this page

courses.grainger.illinois.edu

https://dl.acm.org/doi/book/10.5555/547173 Who cites this page

dl.acm.org

https://courses.grainger.illinois.edu/cs476/sp2012/hw/lecture-notes-peter.pdf Who cites this page

courses.grainger.illinois.edu

https://www.lix.polytechnique.fr/~jouannaud/articles/acrvf.pdf Who cites this page

lix.polytechnique.fr

https://www.sciencedirect.com/science/article/pii/S0304397506002647 Who cites this page

sciencedirect.com

https://github.com/postechsv/maude-se Who cites this page

github.com

Elsewhere on philipzucker.com (5)

Lambda MicroEgg Read at philipzucker.com

philipzucker.com

https://www.philipzucker.com/asymmetric_complete/ Read at philipzucker.com

philipzucker.com

https://www.philipzucker.com/le_find/ Read at philipzucker.com

philipzucker.com

https://www.philipzucker.com/refinement-microegg

philipzucker.com

https://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/ Read at philipzucker.com

philipzucker.com

Refinement E-Graphs

Cited by

Links from this post

Similar posts