Recursively enumerable classes and their application to recursive sequences of formal theories
Work
Year: 1965
Type: article
Source: Archive for Mathematical Logic
Authors Marian Boykan Pour‐El, Hilary Putnam
Cites: 4
Cited by: 24
Related to: 10
FWCI: 1.598
Citation percentile (by year/subfield): 88.27
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed