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

scientific article; zbMATH DE number 1341609

From MaRDI portal

Publication:4263158

Jump to:navigation, search

zbMath0937.03023MaRDI QIDQ4263158

Tomasz Wierzbicki

Publication date: 22 September 1999

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

zbMATH Keywords

complexity decidability satisfiability simply typed lambda calculus higher-order matching fourth-order matching NP-hardness bounds

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

Related Items (4)

The role of polymorphism in the characterisation of complexity by soft types ⋮ Tractable and intractable second-order matching problems ⋮ Decidability of bounded higher-order unification ⋮ Deterministic second-order patterns

This page was built for publication:

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