Publication | Date of Publication | Type |
---|
Relational set theory | 2022-12-16 | Paper |
Relational structures and their partial morphisms in view of single pushout rewriting | 2022-08-16 | Paper |
AXIOM OF CHOICE AND ZORN'S LEMMA IN CANTOR CATEGORIES | 2020-09-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q5219754 | 2020-03-12 | Paper |
Kleisli, Parikh and Peleg compositions and liftings for multirelations | 2017-07-04 | Paper |
Relational Formalisations of Compositions and Liftings of Multirelations | 2016-01-08 | Paper |
Point axioms and related conditions in Dedekind categories | 2015-06-10 | Paper |
Relations into algebras of probabilistic distributions | 2014-09-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q5408907 | 2014-04-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2844116 | 2013-08-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2844150 | 2013-08-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2844155 | 2013-08-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2844158 | 2013-08-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2844164 | 2013-08-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2844168 | 2013-08-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2844200 | 2013-08-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2844206 | 2013-08-28 | Paper |
Point Axioms in Dedekind Categories | 2012-09-21 | Paper |
Continuous Relations and Richardson’s Theorem | 2012-09-21 | Paper |
Dedekind categories with cutoff operators | 2011-07-15 | Paper |
Cardinality functions in allegories | 2010-11-11 | Paper |
Armstrong’s Inference Rules in Dedekind Categories | 2009-12-11 | Paper |
Cardinal Addition in Distributive Allegories | 2009-12-11 | Paper |
Formal Concepts in Dedekind Categories | 2008-05-15 | Paper |
Boolean Algebras and Stone Maps in Schröder Categories | 2008-05-15 | Paper |
Cardinality in Allegories | 2008-05-15 | Paper |
On the Cardinality of Relations | 2008-04-24 | Paper |
Unconventional Computation | 2006-07-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4449006 | 2004-02-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4415073 | 2003-07-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4415078 | 2003-07-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4329276 | 2002-10-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q2737563 | 2002-09-02 | Paper |
A small final coalgebra theorem | 2000-08-23 | Paper |
Period lengths of cellular automata on square lattices with rule 90 | 2000-07-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4937835 | 2000-02-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4937867 | 2000-02-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4937872 | 2000-02-20 | Paper |
Categorical representation theorems of fuzzy relations | 2000-01-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4705609 | 1999-12-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4705623 | 1999-12-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4703139 | 1999-12-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4703865 | 1999-12-01 | Paper |
An algebraic formalization of fuzzy relations | 1999-09-22 | Paper |
Period lengths of cellular automata cam-90 with memory | 1997-04-21 | Paper |
Relational graph rewritings | 1997-02-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q5689157 | 1997-01-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4025926 | 1993-02-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q3212312 | 1991-01-01 | Paper |
Pushout-complements and basic concepts of grammars in toposes | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3789094 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3782790 | 1987-01-01 | Paper |
AUTOMATA IN CATEGORIES AND REGULAR LANGUAGES | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3706524 | 1984-01-01 | Paper |
ON THE CATEGORIES OF COMPLETE HEYTING ALGEBRAS AND TOPOLOGICAL SPACES | 1981-01-01 | Paper |
MINIMAL REALIZATION THEORY FOR TREE PROCESS MACHINES IN MONOIDAL CATEGORIES | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3871931 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3911402 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4175408 | 1978-01-01 | Paper |
ON THE LATTICE OF QUOTIENTS OF AN ADJOINT MACHINE | 1977-01-01 | Paper |
A CONSTRUCTION OF CLOSED CATEGORIES RELATED TO k-SPACES | 1976-01-01 | Paper |
On the class of regular epimorphisms | 1975-01-01 | Paper |
MATRIX CALCULUS IN I-CATEGORIES AND AN AXIOMATIC CHARACTERIZATION OF RELATIONS IN A REGULAR CATEGORY | 1973-01-01 | Paper |
NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS | 1973-01-01 | Paper |
RELATIONS IN CATEGORIES WITH PULLBACKS | 1973-01-01 | Paper |
MANIFOLDS IN CATEGORIES | 1972-01-01 | Paper |