William Demeo

Available identifiers

Publication	Date of Publication	Type
A machine-checked proof of Birkhoff's variety theorem in Martin-Löf type theory	2024-08-01	Paper
The Agda Universal Algebra Library, Part 2: Structure	2021-03-16	Paper
The Agda Universal Algebra Library, Part 1: Foundation	2021-03-09	Paper
A Machine-checked proof of Birkhoff's Variety Theorem in Martin-L\"of Type Theory	2021-01-25	Paper
Constraint Satisfaction Problems over Finite Structures	2020-10-10	Paper
The Commutator as Least Fixed Point of a Closure Operator	2017-03-08	Paper
Universal Algebraic Methods for Constraint Satisfaction Problems	2016-11-09	Paper
Isotopic algebras with nonisomorphic congruence lattices.	2014-11-14	Paper
Dedekind's Transposition Principle for lattices of equivalence relations	2013-01-28	Paper
Interval enforceable properties of finite groups	2012-05-09	Paper
Congruence lattices of finite algebras	2012-04-19	Paper

This page was built for person: William Demeo