Relational Methods in Computer Science

DOI10.1007/11734673zbMath1185.68667OpenAlexW2482623798MaRDI QIDQ5899308

Michael Winter, Ivo Duentsch

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11734673

zbMATH Keywords

region connection calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logical aspects of lattices and related structures (03G10) Proximity structures and generalizations (54E05)

Related Items (5)

Pseudocomplementation and minimal prime ideals in semirings ⋮ GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS ⋮ Complementation in representable theories of region-based space ⋮ Distributive contact lattices: topological representations ⋮ Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)

This page was built for publication: Relational Methods in Computer Science