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

scientific article; zbMATH DE number 1774211

From MaRDI portal

Publication:4541806

Jump to:navigation, search

zbMath1024.03037MaRDI QIDQ4541806

Ingo Lepper

Publication date: 31 July 2002

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

zbMATH Keywords

proof theory Turing machine rewriting system term rewriting computability derivation complexity order types simplification orders termination proof method

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10) Complexity of proofs (03F20) Other Turing degree structures (03D28)

Related Items (1)

The Hydra battle and Cichon's principle

This page was built for publication:

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