Search results

  1. 1.
    0377738 - MÚ 2013 RIV DE eng J - Journal Article
    Jeřábek, Emil
    Proofs with monotone cuts.
    Mathematical Logic Quarterly. Roč. 58, č. 3 (2012), s. 177-187. ISSN 0942-5616. E-ISSN 1521-3870
    R&D Projects: GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
    Institutional support: RVO:67985840
    Keywords : proof complexity * monotone sequent calculus
    Subject RIV: BA - General Mathematics
    Impact factor: 0.376, year: 2012
    http://onlinelibrary.wiley.com/doi/10.1002/malq.201020071/full
    Permanent Link: http://hdl.handle.net/11104/0209826
    FileDownloadSizeCommentaryVersionAccess
    Jerabek.pdf1157.8 KBPublisher’s postprintrequire
     
     
  2. 2.
    0353276 - MÚ 2011 RIV NL eng J - Journal Article
    Jeřábek, Emil
    A sorting network in bounded arithmetic.
    Annals of Pure and Applied Logic. Roč. 162, č. 4 (2011), s. 341-355. ISSN 0168-0072. E-ISSN 1873-2461
    R&D Projects: GA AV ČR IAA1019401; GA MŠMT(CZ) 1M0545
    Institutional research plan: CEZ:AV0Z10190503
    Keywords : bounded arithmetic * sorting network * proof complexity * monotone sequent calculus
    Subject RIV: BA - General Mathematics
    Impact factor: 0.450, year: 2011
    http://www.sciencedirect.com/science/article/pii/S0168007210001272
    Permanent Link: http://hdl.handle.net/11104/0192567
    FileDownloadSizeCommentaryVersionAccess
    Jerabek.pdf1306.7 KBPublisher’s postprintrequire
     
     
  3. 3.
    0323402 - MÚ 2009 RIV GB eng J - Journal Article
    Jeřábek, Emil
    Proof Complexity of the Cut-free Calculus of Structures.
    [Důkazová složitost bezřezového kalkulu struktur.]
    Journal of Logic and Computation. Roč. 19, č. 2 (2009), s. 323-339. ISSN 0955-792X. E-ISSN 1465-363X
    Institutional research plan: CEZ:AV0Z10190503
    Keywords : proof complexity * calculus of structures * monotone sequent calculus
    Subject RIV: BA - General Mathematics
    Impact factor: 0.789, year: 2009
    Permanent Link: http://hdl.handle.net/11104/0171376
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.