| Publication | Date of Publication | Type |
|---|
Continuous algebras revisited
Journal of Computer and System Sciences | 1996-02-26 | Paper |
A Variety with Solvable, but not Uniformly Solvable, Word Problem
Proceedings of the London Mathematical Society | 1994-09-28 | Paper |
On the logic of continuous algebras
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
Equational Bases for If–Then–Else
SIAM Journal on Computing | 1987-01-01 | Paper |
Absolutely definable varieties of continuous algebras
Algebra Universalis | 1987-01-01 | Paper |
Arbitrarily Large Continuous Algebras on One Generator
Transactions of the American Mathematical Society | 1985-01-01 | Paper |
On the nonexistence of free complete distributive lattices
Order | 1985-01-01 | Paper |
The Birkhoff variety theorem for continuous algebras
Algebra Universalis | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3931088 (Why is no real title available?) | 1985-01-01 | Paper |
Iterative algebras
Theoretical Computer Science | 1983-01-01 | Paper |
Separately continuous algebras
Theoretical Computer Science | 1983-01-01 | Paper |
Completions of Partially Ordered Sets
SIAM Journal on Computing | 1982-01-01 | Paper |
Homomorphisms of mono-unary algebras
Pacific Journal of Mathematics | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3775605 (Why is no real title available?) | 1981-01-01 | Paper |
Tree constructions of free continuous algebras
Journal of Computer and System Sciences | 1981-01-01 | Paper |
On exponentiating exponentiation
Journal of Pure and Applied Algebra | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3685555 (Why is no real title available?) | 1980-01-01 | Paper |
An elementary proof that there are no non-trivial injective lattices
Algebra Universalis | 1980-01-01 | Paper |
Categorical and topological aspects of formal languages
Mathematical Systems Theory | 1980-01-01 | Paper |
The independence of the subalgebra lattice, congruence lattice and automorphism group of an infinitary algebra
Journal of Pure and Applied Algebra | 1980-01-01 | Paper |
Internal Hom Functors for Polarities
Canadian Mathematical Bulletin | 1979-01-01 | Paper |
Filtered products of congruences
Algebra Universalis | 1978-01-01 | Paper |
On the Non-Existence of Injective Near-Ring Modules
Canadian Mathematical Bulletin | 1977-01-01 | Paper |
Classes defined by implications
Algebra Universalis | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3596811 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3600769 (Why is no real title available?) | 1977-01-01 | Paper |
Tensor Products and Bimorphisms
Canadian Mathematical Bulletin | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3536172 (Why is no real title available?) | 1976-01-01 | Paper |
Some functorial aspects of atomic compactness
Algebra Universalis | 1975-01-01 | Paper |
On the adjointness between operations and relations and its impact on atomic compactness
Colloquium Mathematicum | 1975-01-01 | Paper |
Injectivity and Equational Compactness in the Class of ℵ0-Semilattices
Canadian Mathematical Bulletin | 1975-01-01 | Paper |
Semilattices do not have equationally compact hulls
Colloquium Mathematicum | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3600598 (Why is no real title available?) | 1975-01-01 | Paper |
Relatively free products in regular varieties
Algebra Universalis | 1974-01-01 | Paper |
Not every equational class of infinitary algebras contains a simple algebra
Colloquium Mathematicum | 1974-01-01 | Paper |
The embedding of a distributive lattice into its ideal lattice is pure
Algebra Universalis | 1974-01-01 | Paper |
Infinitary equational compactness
Algebra Universalis | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3437214 (Why is no real title available?) | 1974-01-01 | Paper |
Equational compactness in infinitary algebras
Colloquium Mathematicum | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3400964 (Why is no real title available?) | 1973-01-01 | Paper |
On residual finiteness and finite embeddability
Algebra Universalis | 1972-01-01 | Paper |
Equational compactness in equational classes of algebras
Algebra Universalis | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3368686 (Why is no real title available?) | 1972-01-01 | Paper |
Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups.
Algebra Universalis | 1971-01-01 | Paper |
Embedding the Dual of Π m in the Lattice of Equational Classes of Commutative Semigroups
Proceedings of the American Mathematical Society | 1971-01-01 | Paper |
The Lattice of Equational Classes of Commutative Semigroups
Canadian Journal of Mathematics | 1971-01-01 | Paper |
The Lattice of Equational Classes of Semigroups with Zero
Canadian Mathematical Bulletin | 1971-01-01 | Paper |
Finiteness of Semigroups of Operators in Universal Algebra
Canadian Journal of Mathematics | 1967-01-01 | Paper |
