William J. DeMeo

Available identifiers

zbMath Open demeo.william-jMaRDI QIDQ6232439

List of research outcomes

Publication	Date of Publication	Type
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
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: William J. DeMeo