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

scientific article; zbMATH DE number 2079017

From MaRDI portal

Publication:4474829

Jump to:navigation, search

zbMath1044.03520MaRDI QIDQ4474829

Adriana Compagnoni

Publication date: 21 July 2004

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (8)

Higher-order subtyping and its decidability ⋮ Higher-order subtyping ⋮ Typed operational semantics for higher-order subtyping. ⋮ Syntactic Metatheory of Higher-Order Subtyping ⋮ Subtyping dependent types ⋮ Order-sorted inductive types ⋮ Comparing object encodings. ⋮ Type destructors

This page was built for publication:

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