Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Leszek Aleksander Kolodziejczyk" ( http://dblp.L3S.de/Authors/Leszek_Aleksander_Kolodziejczyk )

  Author page on DBLP  Author page in RDF  Community of Leszek Aleksander Kolodziejczyk in ASPL-2

Publication years (Num. hits)
2004-2012 (14)
Publication types (Num. hits)
article(12) inproceedings(2)
Venues (Conferences, Journals, ...)
J. Symb. Log.(5) Ann. Pure Appl. Logic(4) Math. Log. Q.(2) CiE(1) ICDT(1) Theor. Comput. Sci.(1)
Authors
Leszek Aleksander Kolodziejczyk(14) Neil Thapen(4) Zofia Adamowicz(4) Filip Murlak(1) Jeff Paris(1) Mikolaj Bojanczyk(1) Phuong Nguyen(1) Sedki Boughattas(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Zofia Adamowicz, Leszek Aleksander Kolodziejczyk, Jeff Paris Truth definitions without exponentiation and the Σ₁ collection scheme. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Leszek Aleksander Kolodziejczyk Independence results for variants of sharply bounded induction. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Neil Thapen The provably total NP search problems of weak second order bounded arithmetic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mikolaj Bojanczyk, Leszek Aleksander Kolodziejczyk, Filip Murlak Solutions in XML data exchange. Search on Bibsonomy ICDT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zofia Adamowicz, Leszek Aleksander Kolodziejczyk A note on the Sigma1 collection scheme and fragments of bounded arithmetic. Search on Bibsonomy Math. Log. Q. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sedki Boughattas, Leszek Aleksander Kolodziejczyk The strength of sharply bounded induction requires MSP. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Leszek Aleksander Kolodziejczyk, Neil Thapen The polynomial and linear time hierarchies in V0. Search on Bibsonomy Math. Log. Q. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Leszek Aleksander Kolodziejczyk, Neil Thapen The polynomial and linear hierarchies in models where the weak pigeonhole principle fails. Search on Bibsonomy J. Symb. Log. The full citation details ... 2008 DBLP  BibTeX  RDF
1Zofia Adamowicz, Leszek Aleksander Kolodziejczyk Partial collapses of the Sigma1 complexity hierarchy in models for fragments of bounded arithmetic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Leszek Aleksander Kolodziejczyk, Neil Thapen The Polynomial and Linear Hierarchies in V0. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF prefix parity, linear hierarchy, bounded depth circuits, bounded arithmetic
1Leszek Aleksander Kolodziejczyk On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories. Search on Bibsonomy J. Symb. Log. The full citation details ... 2006 DBLP  BibTeX  RDF
1Zofia Adamowicz, Leszek Aleksander Kolodziejczyk Well-behaved principles alternative to bounded induction. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Leszek Aleksander Kolodziejczyk Truth definitions in finite models. Search on Bibsonomy J. Symb. Log. The full citation details ... 2004 DBLP  BibTeX  RDF
1Leszek Aleksander Kolodziejczyk A finite model-theoretical proof of a property of bounded query classes within PH. Search on Bibsonomy J. Symb. Log. The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.