|
Search the dblp DataBase
Leszek Aleksander Kolodziejczyk:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Zofia Adamowicz, Leszek Aleksander Kolodziejczyk
Partial collapses of the Sigma1 complexity hierarchy in models for fragments of bounded arithmetic. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2007, v:145, n:1, pp:91-95 [Journal]
- Zofia Adamowicz, Leszek Aleksander Kolodziejczyk
Well-behaved principles alternative to bounded induction. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2004, v:322, n:1, pp:5-16 [Journal]
- Leszek Aleksander Kolodziejczyk, Neil Thapen
The Polynomial and Linear Hierarchies in V0. [Citation Graph (0, 0)][DBLP] CiE, 2007, pp:408-415 [Conf]
The strength of sharply bounded induction requires MSP. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|