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

scientific article

From MaRDI portal

Publication:3454221

Jump to:navigation, search

zbMath1329.68032MaRDI QIDQ3454221

No author found.

Publication date: 24 November 2015

Full work available at URL: http://cs.emis.de/LIPIcs/volltexte/lipics-complete/lipics-vol41-csl2015-complete_.pdf

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)

Generalized bounded linear logic and its categorical semantics ⋮ Unnamed Item

This page was built for publication:

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