| Publication | Date of Publication | Type |
|---|
Relational calculus as a formal system
Bulletin of Informatics and Cybernetics | 2024-06-18 | Paper |
Relational set theory
Category Theory and Computer Science | 2022-12-16 | Paper |
Relational structures and their partial morphisms in view of single pushout rewriting
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Axiom of choice and Zorn's lemma in Cantor categories
Bulletin of informatics and cybernetics | 2020-09-14 | Paper |
| Propositional logic and cellular automata on monoids | 2020-03-12 | Paper |
Kleisli, Parikh and Peleg compositions and liftings for multirelations
Journal of Logical and Algebraic Methods in Programming | 2017-07-04 | Paper |
Relational formalisations of compositions and liftings of multirelations
Relational and Algebraic Methods in Computer Science | 2016-01-08 | Paper |
Point axioms and related conditions in Dedekind categories
Journal of Logical and Algebraic Methods in Programming | 2015-06-10 | Paper |
Relations into algebras of probabilistic distributions
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
| Sets of collisions and connected subsets | 2014-04-11 | Paper |
Informational representability for contexts in Dedekind categories
Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
Crispness in Dedekind categories
Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
Closure systems and closure operations in Dedekind categories
Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
Tree expressions and their product formula
Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
Implication and functional dependency in intensional contexts
Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
Periodic behaviors of quantum cellular automata
Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
Urysohn's lemma in Schröder categories
Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
Tarski's fixed point theorem in Dedekind categories
Bulletin of Informatics and Cybernetics | 2013-08-28 | Paper |
Point axioms in Dedekind categories
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
Continuous Relations and Richardson’s Theorem
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
Dedekind categories with cutoff operators
Fuzzy Sets and Systems | 2011-07-15 | Paper |
Cardinality functions in allegories
The Journal of Logic and Algebraic Programming | 2010-11-11 | Paper |
Armstrong's inference rules in Dedekind categories
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Cardinal addition in distributive allegories
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Formal Concepts in Dedekind Categories
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Boolean Algebras and Stone Maps in Schröder Categories
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Cardinality in Allegories
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
On the Cardinality of Relations
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
| Unconventional Computation | 2006-07-07 | Paper |
| scientific article; zbMATH DE number 2038176 (Why is no real title available?) | 2004-02-12 | Paper |
| scientific article; zbMATH DE number 1953893 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1953889 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1735913 (Why is no real title available?) | 2002-10-31 | Paper |
| Hennessy-Milner properties in Boolean Dedekind categories | 2002-09-02 | Paper |
A small final coalgebra theorem
Theoretical Computer Science | 2000-08-23 | Paper |
Period lengths of cellular automata on square lattices with rule 90
Journal of Mathematical Physics | 2000-07-06 | Paper |
| scientific article; zbMATH DE number 1404219 (Why is no real title available?) | 2000-02-20 | Paper |
| scientific article; zbMATH DE number 1404245 (Why is no real title available?) | 2000-02-20 | Paper |
| scientific article; zbMATH DE number 1404250 (Why is no real title available?) | 2000-02-20 | Paper |
Categorical representation theorems of fuzzy relations
Information Sciences | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1380903 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1380891 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1377708 (Why is no real title available?) | 1999-12-14 | Paper |
| scientific article; zbMATH DE number 1372663 (Why is no real title available?) | 1999-12-01 | Paper |
An algebraic formalization of fuzzy relations
Fuzzy Sets and Systems | 1999-09-22 | Paper |
Period lengths of cellular automata \(cam\)-90 with memory
Journal of Mathematical Physics | 1997-04-21 | Paper |
Relational graph rewritings
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 960925 (Why is no real title available?) | 1997-01-06 | Paper |
| scientific article; zbMATH DE number 124282 (Why is no real title available?) | 1993-02-18 | Paper |
| scientific article; zbMATH DE number 4195205 (Why is no real title available?) | 1991-01-01 | Paper |
Pushout-complements and basic concepts of grammars in toposes
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4053051 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4045163 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3934440 (Why is no real title available?) | 1984-01-01 | Paper |
AUTOMATA IN CATEGORIES AND REGULAR LANGUAGES
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics | 1984-01-01 | Paper |
ON THE CATEGORIES OF COMPLETE HEYTING ALGEBRAS AND TOPOLOGICAL SPACES
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3675319 (Why is no real title available?) | 1980-01-01 | Paper |
MINIMAL REALIZATION THEORY FOR TREE PROCESS MACHINES IN MONOIDAL CATEGORIES
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3722108 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3611536 (Why is no real title available?) | 1978-01-01 | Paper |
ON THE LATTICE OF QUOTIENTS OF AN ADJOINT MACHINE
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics | 1977-01-01 | Paper |
A CONSTRUCTION OF CLOSED CATEGORIES RELATED TO k-SPACES
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics | 1976-01-01 | Paper |
On the class of regular epimorphisms
Communications in Algebra | 1975-01-01 | Paper |
NOTES ON THE UNIVERSALITY OF RELATIONAL FUNCTORS
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics | 1973-01-01 | Paper |
RELATIONS IN CATEGORIES WITH PULLBACKS
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics | 1973-01-01 | Paper |
MATRIX CALCULUS IN I-CATEGORIES AND AN AXIOMATIC CHARACTERIZATION OF RELATIONS IN A REGULAR CATEGORY
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics | 1973-01-01 | Paper |
MANIFOLDS IN CATEGORIES
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics | 1972-01-01 | Paper |
