Košík

    1.
    0449388 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
    Franek, Peter - Ratschan, Stefan - Zgliczynski, P.
    Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers.
    Journal of Automated Reasoning. Roč. 57, č. 2 (2016), s. 157-185. ISSN 0168-7433. E-ISSN 1573-0670
    Grant CEP: GA ČR GCP202/12/J060; GA MŠMT OC10048; GA ČR GA15-14484S
    Institucionální podpora: RVO:67985807
    Klíčová slova: decidability * decision procedure * real numbers
    Kód oboru RIV: IN - Informatika
    Impakt faktor: 1.636, rok: 2016
    Trvalý link: http://hdl.handle.net/11104/0250958
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0449388.pdf9702.4 KBVydavatelský postprintvyžádat
     
     

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

Přijmout všeNastaveníOdmítnout vše