Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Computable Contact Algebras - MaRDI portal

Computable Contact Algebras

From MaRDI portal

Publication:5241409

Jump to:navigation, search

DOI10.3233/FI-2019-1817zbMath1446.03076WikidataQ127540231 ScholiaQ127540231MaRDI QIDQ5241409

Nikolay Bazhenov

Publication date: 31 October 2019

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

Boolean algebra elementary definability computable structure computable dimension contact relation degree spectrum hereditary undecidability contact algebra region-based theory of space

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Undecidability and degrees of sets of sentences (03D35) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (3)

On the effective universality of mereological theories ⋮ Computable Heyting algebras with distinguished atoms and coatoms ⋮ HKSS-completeness of modal algebras

This page was built for publication: Computable Contact Algebras

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5241409&oldid=19865230"