Purity and Equational Compactness of Projection Algebras

By Mahmoudi M.  

Applied Categorical Structures, Vol. 9, Iss. 4, 2001-07 ,pp. : 381-394

Springer Publishing Company

Access to resources Recommend Favorite

Set Constraints in Some Equational Theories

By Charatonik W.  

Information and Computation, Vol. 142, Iss. 1, 1998-04 ,pp. : 40-75

Academic Press

Access to resources Recommend Favorite

A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus

By Salibra A.   Goldblatt R.  

Information and Computation, Vol. 148, Iss. 1, 1999-01 ,pp. : 71-130

Academic Press

Access to resources Recommend Favorite

Decidability of Equational Theories of Coverings of Semigroup Varieties

By Popov V.Y.  

Siberian Mathematical Journal, Vol. 42, Iss. 6, 2001-11 ,pp. : 1132-1141

Springer Publishing Company

Access to resources Recommend Favorite

Chain Lengths in the Tamari Lattice

By Early Edward  

Annals of Combinatorics, Vol. 8, Iss. 1, 2004-05 ,pp. : 37-43

Springer Publishing Company

Access to resources Recommend Favorite