Stavros S. Cosmadakis
-
The membership problem in aperiodic transformation monoids
Journal of the ACM (JACM)
A solution of the uniform word problem for ortholattices
Mathematical Structures in Computer Science
Partial algebras and complexity of satisfiability and universal theory for distributive lattices, boolean algebras and Heyting algebras
Theoretical Computer Science