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

scientific article; zbMATH DE number 6456199

From MaRDI portal

Publication:5261743

Jump to:navigation, search

zbMath1319.03004MaRDI QIDQ5261743

No author found.

Publication date: 7 July 2015

Full work available at URL: http://dl.acm.org/citation.cfm?id=2358958&CFID=690970656&CFTOKEN=62760836

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (2)

Differential Game Logic ⋮ Verification of Hybrid Systems

Uses Software

Haskell

This page was built for publication:

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