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 6793815 - MaRDI portal

scientific article; zbMATH DE number 6793815

From MaRDI portal

Publication:5370474

Jump to:navigation, search

DOI10.4230/LIPICS.TIME.2017.0zbMath1372.68021MaRDI QIDQ5370474

No author found.

Publication date: 19 October 2017

Full work available at URL: http://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16049

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication:

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