scientific article

From MaRDI portal

Revision as of 12:10, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3764141

Jump to:navigation, search

zbMath0628.03025MaRDI QIDQ3764141

Leslie Burkholder

Publication date: 1986

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

zbMATH Keywords

halting problem abstraction axiom

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Axiomatics of classical set theory and its fragments (03E30) Turing machines and related notions (03D10) Algorithms in computer science (68W99)

Related Items (1)

On the practical value of different definitional translations to normal form

This page was built for publication:

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