Items where authors include "Sano, K"

Article

Sindoni, G, Sano, K and Stell, JG orcid.org/0000-0001-9644-1908 (2021) Expressing discrete spatial relations under granularity. Journal of Logical and Algebraic Methods in Programming, 122. 100682. p. 100682. ISSN 2352-2208

Proceedings Paper

Sindoni, G orcid.org/0000-0003-4003-2317, Sano, K orcid.org/0000-0002-7780-423X and Stell, JG orcid.org/0000-0001-9644-1908 (2018) Axiomatizing Discrete Spatial Relations. In: RAMiCS 2018: Relational and Algebraic Methods in Computer Science. International Conference on Relational and Algebraic Methods in Computer Science, 29 Oct - 02 Nov 2018, Groningen. Springer, Cham , pp. 113-130. ISBN 978-3-030-02148-1

Sano, K and Stell, JG (2017) Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics. In: Electronic Proceedings in Theoretical Computer Science. Ninth Workshop on Methods for Modalities (M4M9 2017), 08-09 Jan 2017, Indian Institute of Technology, Kanpur, India. Open Publishing Association , pp. 105-121.