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
scientific article; zbMATH DE number 7774238 - MaRDI portal

scientific article; zbMATH DE number 7774238

From MaRDI portal

Publication:6061671

Jump to:navigation, search

DOI10.4230/lipics.calco.2021.12arXiv2007.04213MaRDI QIDQ6061671

Unnamed Author, Marino Miculan

Publication date: 8 December 2023

Full work available at URL: https://arxiv.org/abs/2007.04213

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

closure operators categorical logic topological semantics spatial logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Geometric Model Checking of Continuous Space

This page was built for publication:

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