William J. DeMeo

According to our database, William J. DeMeo authored at least 10 papers between 2002 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Universal Algebraic Methods for Constraint Satisfaction Problems.

Clifford Bergman, William J. DeMeo

Log. Methods Comput. Sci., 2022

2021

The Agda Universal Algebra Library, Part 2: Structure.

William J. DeMeo

CoRR, 2021

The Agda Universal Algebra Library, Part 1: Foundation.

William J. DeMeo

CoRR, 2021

The Agda Universal Algebra Library and Birkhoff's Theorem in Martin-Löf Dependent Type Theory.

William J. DeMeo

CoRR, 2021

A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory.

William J. DeMeo, Jacques Carette

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

Constraint Satisfaction Problems over Finite Structures.

Libor Barto, William J. DeMeo, Antoine Mottet

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Bounded homomorphisms and finitely generated fiber products of lattices.

William J. DeMeo, Peter Mayr, Nik Ruskuc

Int. J. Algebra Comput., 2020

The Complexity of the Homomorphism Problem for Boolean structures.

Libor Barto, William J. DeMeo, Antoine Mottet

CoRR, 2020

2019

Polynomial-time tests for difference terms in idempotent varieties.

William J. DeMeo, Ralph Freese, Matthew Valeriote

Int. J. Algebra Comput., 2019

2002

Characterizing Musical Signals with Wigner-Ville Interfaces.

William J. DeMeo

Proceedings of the 2002 International Computer Music Conference, 2002