A bounded arithmetic AID for Frege systems
Work
Year: 2000
Type: article
Source: Annals of Pure and Applied Logic
Author Toshiyasu Arai
Institution Hiroshima University
Cites: 20
Cited by: 43
Related to: 10
FWCI: 0.404
Citation percentile (by year/subfield): 86.45
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed