Minimal from classical proofs
Work
Year: 2012
Type: article
Source: Annals of Pure and Applied Logic
Institutions LMU Klinikum, Ludwig-Maximilians-Universität München
Cites: 15
Cited by: 10
Related to: 10
FWCI: 1.083
Citation percentile (by year/subfield): 85.31
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze