| Publication | Date of Publication | Type |
|---|
Cryptomorphic topological structures: a computational, relation-algebraic approach
Journal of Logical and Algebraic Methods in Programming | 2018-12-19 | Paper |
Relational topology
Lecture Notes in Mathematics | 2018-03-09 | Paper |
A Point-Free Relation-Algebraic Approach to General Topology
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
Partiality. II: Constructed relation algebras
The Journal of Logic and Algebraic Programming | 2013-01-16 | Paper |
Relational concepts in social choice
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
Contact, closure, topology, and the linking of row and column types of relations
The Journal of Logic and Algebraic Programming | 2011-07-18 | Paper |
Constructions around partialities
Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
| Relational mathematics | 2010-12-02 | Paper |
Contact relations with applications
Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Theory and Applications of Relational Structures as Knowledge Instruments
Lecture Notes in Computer Science | 2009-06-09 | Paper |
Theory and Applications of Relational Structures as Knowledge Instruments
Lecture Notes in Computer Science | 2009-06-09 | Paper |
Algebraic Visualization of Relations Using RelView
Computer Algebra in Scientific Computing | 2008-07-01 | Paper |
Relational measures and integration in preference modeling
The Journal of Logic and Algebraic Programming | 2008-06-19 | Paper |
Rectangles, Fringes, and Inverses
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
Relational Measures and Integration
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Partiality. I: Embedding relation algebras
The Journal of Logic and Algebraic Programming | 2006-03-16 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
A necessary relation algebra for mereotopology
Studia Logica | 2002-04-11 | Paper |
| scientific article; zbMATH DE number 1086628 (Why is no real title available?) | 2001-06-05 | Paper |
| scientific article; zbMATH DE number 1086626 (Why is no real title available?) | 1997-11-13 | Paper |
| scientific article; zbMATH DE number 475192 (Why is no real title available?) | 1994-01-13 | Paper |
| scientific article; zbMATH DE number 234018 (Why is no real title available?) | 1993-07-08 | Paper |
| scientific article; zbMATH DE number 194258 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 176533 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 67020 (Why is no real title available?) | 1992-09-27 | Paper |
Describing semantic domains with sprouts
Acta Informatica | 1989-01-01 | Paper |
Symmetric quotients and domain constructions
Information Processing Letters | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3990843 (Why is no real title available?) | 1987-01-01 | Paper |
On Kernels of Graphs and Solutions of Games: A Synopsis Based on Relations and Fixpoints
SIAM Journal on Algebraic Discrete Methods | 1985-01-01 | Paper |
Relation algebras: Concept of points and representability
Discrete Mathematics | 1985-01-01 | Paper |
Discrete ordering relations
Discrete Mathematics | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3929034 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3854395 (Why is no real title available?) | 1982-01-01 | Paper |
Programs as partial graphs. I: Flow equivalence and correctness
Theoretical Computer Science | 1981-01-01 | Paper |
Programs as partial graphs. II: Recursion
Theoretical Computer Science | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3628356 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3621088 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3582145 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3583847 (Why is no real title available?) | 1976-01-01 | Paper |
A Boolean matrix iteration in timetable construction
Linear Algebra and its Applications | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3471788 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3333285 (Why is no real title available?) | 1970-01-01 | Paper |
