In memory of Grigore C. Moisil who supervised my first steps in research. Abstract. We presents the algebraic theories over an arbitrary monoid, main properties and calculus rules. Ordered, rationaly closed and ω-continuous theories on one hand and matrix and complete matrix theories on the other hand are the presentation main subjects. Some examples comming from algebra and computer science finish this paper
This book contains a collection of fifteen articles and is dedicated to the sixtieth birthdays of Le...
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 20...
We will study Lindenbaum algebras and algebras of definable subsets of selected first order theories...
Algebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a cat...
Although unification algorithms have been developed for numerous equational theories there is still ...
SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Up-to-date categorical view of sets with extra algebraic structure (data types), with applications i...
These lectures are devoted to the initial information from the theory of semi-groups and groups. The...
We extend the treatment of algebra automata to automata employing algebras over arbitrary theories. ...
Definition: Let k be an algebraically closed field. An algebraic monoid is a triple (E,m,l) such tha...
AbstractA class of algebraic theories called “recursion-closed,” which generalize the rational theor...
AbstractVarious situations in computer science call for categories that support both cartesian close...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1968.Vita.Bibliography...
AbstractThis paper develops a number of fundamental tools from category theory and applies them to p...
This is a highly self-contained book about algebraic graph theory which iswritten with a view to kee...
This book contains a collection of fifteen articles and is dedicated to the sixtieth birthdays of Le...
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 20...
We will study Lindenbaum algebras and algebras of definable subsets of selected first order theories...
Algebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a cat...
Although unification algorithms have been developed for numerous equational theories there is still ...
SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Up-to-date categorical view of sets with extra algebraic structure (data types), with applications i...
These lectures are devoted to the initial information from the theory of semi-groups and groups. The...
We extend the treatment of algebra automata to automata employing algebras over arbitrary theories. ...
Definition: Let k be an algebraically closed field. An algebraic monoid is a triple (E,m,l) such tha...
AbstractA class of algebraic theories called “recursion-closed,” which generalize the rational theor...
AbstractVarious situations in computer science call for categories that support both cartesian close...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1968.Vita.Bibliography...
AbstractThis paper develops a number of fundamental tools from category theory and applies them to p...
This is a highly self-contained book about algebraic graph theory which iswritten with a view to kee...
This book contains a collection of fifteen articles and is dedicated to the sixtieth birthdays of Le...
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 20...
We will study Lindenbaum algebras and algebras of definable subsets of selected first order theories...
Add to ORKG