William J. DeMeo

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 12

Top Topics

Boolean Algebra

Combinatorial Problems

Theoretical Foundation

Top Venues

Int. J. Algebra Comput.

Publications

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell
Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. FMBC@CAV (2024)
Clifford Bergman, William J. DeMeo
Universal Algebraic Methods for Constraint Satisfaction Problems. Log. Methods Comput. Sci. 18 (1) (2022)
Libor Barto, William J. DeMeo, Antoine Mottet
Constraint Satisfaction Problems over Finite Structures. LICS (2021)
William J. DeMeo
The Agda Universal Algebra Library and Birkhoff's Theorem in Martin-Löf Dependent Type Theory. CoRR (2021)
William J. DeMeo
The Agda Universal Algebra Library, Part 1: Foundation. CoRR (2021)
William J. DeMeo
The Agda Universal Algebra Library, Part 2: Structure. CoRR (2021)
William J. DeMeo, Jacques Carette
A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory. TYPES (2021)
Libor Barto, William J. DeMeo, Antoine Mottet
The Complexity of the Homomorphism Problem for Boolean structures. CoRR (2020)
William J. DeMeo, Ralph Freese, Matthew Valeriote
Polynomial-time Tests for Difference Terms in Idempotent Varieties. CoRR (2020)
William J. DeMeo, Peter Mayr, Nik Ruskuc
Bounded homomorphisms and finitely generated fiber products of lattices. Int. J. Algebra Comput. 30 (04) (2020)
William J. DeMeo, Ralph Freese, Matthew Valeriote
Polynomial-time tests for difference terms in idempotent varieties. Int. J. Algebra Comput. 29 (6) (2019)
Clifford Bergman, William J. DeMeo
Universal Algebraic Methods for Constraint Satisfaction Problems. CoRR (2016)
William J. DeMeo
Characterizing Musical Signals with Wigner-Ville Interfaces. ICMC (2002)