Add to ORKGIn the theory of equational classes of algebras as developed by G. Birkhoff one considers classes of complete algebras only. In partial algebras one can define several non-equivalent notions of validity of equations...Mathematics, Department o
It is well-known that, in Peano arithmetic, there exists a formulaTheor(x) which numerates the set o...
AbstractDoes every finite algebraic system A with finitely many operations possess a finite list of ...
Summary. Equational theories of an algebra, i.e. the equivalence relation closed under translations ...
We investigate the representation and complete representation classes for algebras of partial functi...
AbstractSince the many-sorted extension of the Birkhoff equational calculus is unsound when algebras...
Since the many-sorted extension of the Birkhoff equational calculus is unsound when algebras with em...
We consider the identities of a variety of semigroup-related algebras modeling the algebra of partia...
We consider the identities of a variety of semigroup-related algebras modelling the algebra of parti...
AbstractIn a paper published in J. ACM in 1990, Tobias Nipkow asserted that the problem of deciding ...
AbstractAlong the lines of classical categorical type theory for total functions, we establish corre...
Abstract. We consider the identities of a variety of semigroup-related algebras modeling the algebra...
Abstract. Birkhoff’s completeness theorem of equational logic asserts the coincidence of the model-t...
We introduce and study the notion of an equational definition over a predefined algebra (EDPA) which...
Kracht M. Partial Algebras, Meaning Categories and Algebraization. Theoretical Computer Science. 200...
Abstract. In these lectures we return to the RS Problem discussed in E. Kiss’s article (this volume)...
It is well-known that, in Peano arithmetic, there exists a formulaTheor(x) which numerates the set o...
AbstractDoes every finite algebraic system A with finitely many operations possess a finite list of ...
Summary. Equational theories of an algebra, i.e. the equivalence relation closed under translations ...
We investigate the representation and complete representation classes for algebras of partial functi...
AbstractSince the many-sorted extension of the Birkhoff equational calculus is unsound when algebras...
Since the many-sorted extension of the Birkhoff equational calculus is unsound when algebras with em...
We consider the identities of a variety of semigroup-related algebras modeling the algebra of partia...
We consider the identities of a variety of semigroup-related algebras modelling the algebra of parti...
AbstractIn a paper published in J. ACM in 1990, Tobias Nipkow asserted that the problem of deciding ...
AbstractAlong the lines of classical categorical type theory for total functions, we establish corre...
Abstract. We consider the identities of a variety of semigroup-related algebras modeling the algebra...
Abstract. Birkhoff’s completeness theorem of equational logic asserts the coincidence of the model-t...
We introduce and study the notion of an equational definition over a predefined algebra (EDPA) which...
Kracht M. Partial Algebras, Meaning Categories and Algebraization. Theoretical Computer Science. 200...
Abstract. In these lectures we return to the RS Problem discussed in E. Kiss’s article (this volume)...
It is well-known that, in Peano arithmetic, there exists a formulaTheor(x) which numerates the set o...
AbstractDoes every finite algebraic system A with finitely many operations possess a finite list of ...
Summary. Equational theories of an algebra, i.e. the equivalence relation closed under translations ...