No description, website, or topics provided.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Isabelle
paper
README.md
README.md.txt

README.md

Wreath Products of Distributive Forest Algebras

Code for Wreath Products of Distributive Forest Algebras (Michael Hahn, Andreas Krebs, Howard Straubing), Logic in Computer Science (LICS), 2018.