8.6k citations
- Goddard Space Flight CenterUS158 papers
- California Institute of TechnologyUS156 papers
- Massachusetts Institute of TechnologyUS155 papers
- Centre National de la Recherche ScientifiqueFR144 papers
- University of WashingtonUS141 papers
- Center for Astrophysics Harvard & SmithsonianUS129 papers
- University of ChicagoUS127 papers
- Sorbonne UniversitéFR125 papers
- University of AmsterdamNL123 papers
- Radboud University NijmegenNL115 papers
- Korea Astronomy and Space Science InstituteKR114 papers
- University of CambridgeGB114 papers
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015★ 3 cited
Build your own clarithmetic II: Soundness
Giorgi Japaridze
Clarithmetics are number theories based on computability logic (see http://www.csc.villanova.edu/~japaridz/CL/ ). Formulas of these theories represent interactive computational pro…
cs.LO2015★ 4 cited
Build your own clarithmetic I: Setup and completeness
Giorgi Japaridze
Clarithmetics are number theories based on computability logic (see http://www.csc.villanova.edu/~japaridz/CL/ ). Formulas of these theories represent interactive computational pro…