Person:299183

Available identifiers

zbMath Open stell.john-gMaRDI QIDQ299183

List of research outcomes

Publication	Date of Publication	Type
Unique-sort order-sorted theories : A description as monad morphisms	2023-03-09	Paper
Expressing discrete spatial relations under granularity	2021-09-03	Paper
Graphical Partitions and Graphical Relations	2019-05-24	Paper
Axiomatizing discrete spatial relations	2018-11-08	Paper
Ordered information systems and graph granulation	2018-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q4580233	2018-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4636309	2018-04-23	Paper
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics	2017-03-06	Paper
A bi-intuitionistic modal logic: foundations and automation	2016-06-22	Paper
Symmetric Heyting relation algebras with applications to hypergraphs	2015-06-10	Paper
Tableau Development for a Bi-intuitionistic Tense Logic	2014-04-16	Paper
Relations on Hypergraphs	2012-09-21	Paper
Relations between adjacency trees	2011-07-29	Paper
A Framework for Order-Sorted Algebra	2011-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4929429	2010-09-22	Paper
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic	2009-11-30	Paper
Part and complement: Fundamental concepts in spatial relations	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4412300	2003-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4709306	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4792736	2003-02-17	Paper
Spatial relations between indeterminate regions	2002-04-21	Paper
Boolean connection algebras: A new approach to the Region-Connection Calculus	2000-10-26	Paper
A boundary-sensitive approach to qualitative location	1999-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q3811680	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3815296	1987-01-01	Paper

Research outcomes over time

This page was built for person: John G. Stell