Work

Reduzierungen Unentscheidbarer Formaler Sprachen Über Induktiv Definierten Bereichen

Year: 1974

Type: article

Source: Mathematical logic quarterly

DOI: 10.1002/malq.19740201904

Author: Michael Deutsch

Language: German

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2016862716

FWCI: 2.034

Cites: 15

Cited by: 6

Related to: 10