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:3001109

Jump to:navigation, search

zbMath1246.03010MaRDI QIDQ3001109

É. Kh. Tyugu

Publication date: 31 May 2011

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

zbMATH Keywords

intuitionistic propositional logic structural synthesis program synthesis type inference PRIZ system semantics of specification languages

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Logic in computer science (03B70) History of mathematical logic and foundations (03-03) History of computer science (68-03)

This page was built for publication:

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