Počet záznamů: 1  

A form of feasible interpolation for constant depth Frege systems

  1. SYS0353751
    LBL
      
    01044^^^^^2200265^^^450
    005
      
    20240103194552.5
    014
      
    $a 000278641100017 $2 WOS
    014
      
    $a 77954318233 $2 SCOPUS
    017
    70
    $a 10.2178/jsl/1268917504 $2 DOI
    100
      
    $a 20110110d m y slo 03 ba
    101
    0-
    $a eng $d eng
    102
      
    $a US
    200
    1-
    $a A form of feasible interpolation for constant depth Frege systems
    215
      
    $a 11 s.
    463
    -1
    $1 001 cav_un_epca*0257123 $1 011 $a 0022-4812 $e 1943-5886 $1 200 1 $a Journal of Symbolic Logic $v Roč. 75, č. 2 (2010), s. 774-784 $1 210 $c Cambridge University Press
    610
    0-
    $a feasible interpolation
    610
    0-
    $a Frege proof systems
    610
    0-
    $a lower bounds
    700
    -1
    $3 cav_un_auth*0100670 $a Krajíček $b Jan $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $4 070 $T Matematický ústav AV ČR, v. v. i.
    856
      
    $u http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.