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

Jump to:navigation, search

zbMath0441.03012MaRDI QIDQ3882443

Jean-Yves Girard

Publication date: 1977

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

zbMATH Keywords

systems of functionals of finite type

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Functionals in proof theory (03F10)

Related Items

Interpolants, cut elimination and flow graphs for the propositional calculus, Turning cycles into spirals, Cut normal forms and proof complexity

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