E-LIB Suche - Ergebnisse für: Stell, John G.

1

Out of Sight, but Not Out of Mind: A Diagrammatic Conversat..:

Heath, Claude P.R. ; Stell, John G.
Leonardo. 55 (2022) 4 - p. 408-413 , 2022

2

Expressing discrete spatial relations under granularity:

Sindoni, Giulia ; Sano, Katsuhiko ; Stell, John G.
Journal of Logical and Algebraic Methods in Programming. 122 (2021) - p. 100682 , 2021

Link: https://doi.org/10.1016/..

3

Axiomatizing Discrete Spatial Relations:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Sindoni, Giulia ; Sano, Katsuhiko ; Stell, John G. - p. 113-130 , 2018

Link: https://doi.org/10.1007/..

4

A bi-intuitionistic modal logic: Foundations and automation:

Stell, John G. ; Schmidt, Renate A. ; Rydeheard, David
Journal of Logical and Algebraic Methods in Programming. 85 (2016) 4 - p. 500-519 , 2016

Link: https://doi.org/10.1016/..

5

Symmetric Heyting relation algebras with applications to hy..:

Stell, John G.
Journal of Logical and Algebraic Methods in Programming. 84 (2015) 3 - p. 440-455 , 2015

Link: https://doi.org/10.1016/..

6

Approximation:

, In: Encyclopedia of GIS,

Bittner, Thomas ; Stell, John G. - p. 21-25 , 2008

Link: https://doi.org/10.1007/..

7

Part and Complement: Fundamental Concepts in Spatial Relati..:

Stell, John G.
Annals of Mathematics and Artificial Intelligence. 41 (2004) 1 - p. 1-17 , 2004

Link: https://doi.org/10.1023/..

8

Qualitative Extents for Spatio-Temporal Granularity:

Stell, John G.
Spatial Cognition & Computation. 3 (2003) 2-3 - p. 119-136 , 2003

Link: https://doi.org/10.1080/..

9

Mereotopology in 2nd-Order and Modal Extensions of Intuitio..:

Torrini, Paolo ; Stell, John G. ; Bennett, Brandon
Journal of Applied Non-Classical Logics. 12 (2002) 3-4 - p. 495-525 , 2002

Link: https://doi.org/10.3166/..

10

Strong Completeness and the Finite Model Property for Bi-In..:

Sano, Katsuhiko ; Stell, John G
http://arxiv.org/abs/1703.02198. , 2017

Link: http://arxiv.org/abs/170..

11

The Logic of Discrete Qualitative Relations:

Sindoni, Giulia ; Stell, John G
doi:10.4230/LIPIcs.COSIT.2017.1. , 2017

Link: https://doi.org/10.4230/..

12

Strong Completeness and the Finite Model Property for Bi-In..:

Katsuhiko Sano ; John G. Stell
http://arxiv.org/pdf/1703.02198v1. , 2017

Link: https://doi.org/10.4204/..

13

Comment on: On the Chapman–Enskog solution method for mixtu..:

Karkheck, John ; Kincaid, J. M. ; Stell, G.
The Journal of Chemical Physics. 78 (1983) 5 - p. 2807-2809 , 1983

Link: https://doi.org/10.1063/..

14

Microscopic theory of intrinsic shear and bulk viscosities:

Sung, Wokyung ; Karkheck, John ; Stell, G.
Journal of Statistical Physics. 27 (1982) 3 - p. 513-532 , 1982

Link: https://doi.org/10.1007/..

15

Transport properties of the Widom–Rowlinson hard-sphere mix..:

Karkheck, John ; Stell, G.
The Journal of Chemical Physics. 71 (1979) 9 - p. 3620-3635 , 1979

Link: https://doi.org/10.1063/..