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

scientific article; zbMATH DE number 3619853

From MaRDI portal

Publication:4182474

Jump to:navigation, search

zbMATH Open0399.03010MaRDI QIDQ4182474

Egon Börger

Publication date: 1978

Title of this publication is not available (Why is that?)

zbMATH Keywords

Undecidability Word Problem First-Order Predicate Logic Halting Problem Program- Register Machines Thue Systems

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40) Turing machines and related notions (03D10) Thue and Post systems, etc. (03D03)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4182474)

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