DOIAbstract
Kracht M. Partial Algebras, Meaning Categories and Algebraization. Theoretical Computer Science. 2006;354(1):131-141
Kracht M. Partial Algebras, Meaning Categories and Algebraization. Theoretical Computer Science. 2006;354(1):131-141
Kracht M. On the Logic of Category Definitions. Computational Linguistics. 1989;15:111-113
AbstractAn algebraic characterization of monads which are abstract partial map classifiers is provid...
A number of concepts in modern algebra have arisen as abstract versions of systems of functions of o...
SIGLETechnische Informationsbibliothek Hannover: RN 3437 (76) / FIZ - Fachinformationszzentrum Karls...
AbstractMany approaches to natural language semantics are essentially model-theoretic, typically cas...
AbstractThis paper attempts to reconcile the various abstract notions of “category of partial maps” ...
Multi-algebras allow for the modelling of nondeterminism in an algebraic framework by interpreting o...
We review the main points in the development of partial *-algebras, at three different levels: (i) ...
AbstractA new algebraic approach to abstract computing systems based on lambda calculi and cartesian...
Extrait de : Proceedings Logical Foundations of Computer Science Symposium, Tver (Russia), July 1992...
We review the main steps in the development of partial *-algebras. First we discuss the algebraic st...
In the theory of equational classes of algebras as developed by G. Birkhoff one considers classes of...
A logic is developed in which function symbols are allowed to represent partial functions. It has th...
AbstractA logic is developed in which function symbols are allowed to represent partial functions. I...
Up-to-date categorical view of sets with extra algebraic structure (data types), with applications i...
Kracht M. On the Logic of Category Definitions. Computational Linguistics. 1989;15:111-113
AbstractAn algebraic characterization of monads which are abstract partial map classifiers is provid...
A number of concepts in modern algebra have arisen as abstract versions of systems of functions of o...
SIGLETechnische Informationsbibliothek Hannover: RN 3437 (76) / FIZ - Fachinformationszzentrum Karls...
AbstractMany approaches to natural language semantics are essentially model-theoretic, typically cas...
AbstractThis paper attempts to reconcile the various abstract notions of “category of partial maps” ...
Multi-algebras allow for the modelling of nondeterminism in an algebraic framework by interpreting o...
We review the main points in the development of partial *-algebras, at three different levels: (i) ...
AbstractA new algebraic approach to abstract computing systems based on lambda calculi and cartesian...
Extrait de : Proceedings Logical Foundations of Computer Science Symposium, Tver (Russia), July 1992...
We review the main steps in the development of partial *-algebras. First we discuss the algebraic st...
In the theory of equational classes of algebras as developed by G. Birkhoff one considers classes of...
A logic is developed in which function symbols are allowed to represent partial functions. It has th...
AbstractA logic is developed in which function symbols are allowed to represent partial functions. I...
Up-to-date categorical view of sets with extra algebraic structure (data types), with applications i...
Kracht M. On the Logic of Category Definitions. Computational Linguistics. 1989;15:111-113
AbstractAn algebraic characterization of monads which are abstract partial map classifiers is provid...
A number of concepts in modern algebra have arisen as abstract versions of systems of functions of o...
Add to ORKG