complexity, logic, and recursion theory
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By CRC Press

9780429187490
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Progressions of Theories of Bounded Arithmetic

2019 ◽  
pp. 123-156
Author(s):  
Robert A. Di Paola ◽  
Franco Montagna
Keyword(s):  
Bounded Arithmetic

Resource-Bounded Measure and Randomness

2019 ◽  
pp. 1-47 ◽  
Author(s):  
Klaus Ambos-Spies ◽  
Elvira Mayordomo

Witness-Isomorphic Reductions and Local Search

2019 ◽  
pp. 207-223 ◽  
Author(s):  
Sophie Fischer ◽  
Lane Hemaspaandra ◽  
Leen Torenvliet
Keyword(s):  
Local Search

Compressibility of Infinite Binary Sequences

2019 ◽  
pp. 75-91
Author(s):  
José L. Balcázar ◽  
Ricard Gavaldà ◽  
Montserrat Hermo
Keyword(s):  
Binary Sequences
Load More ...
Sign in / Sign up

Export Citation Format

Share Document