Košík

    1.
    0422069 - ÚI 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Cintula, Petr - Metcalfe, G.
    Herbrand Theorems for Substructural Logics.
    Logic for Programming, Artificial Intelligence, and Reasoning. Berlin: Springer, 2013 - (McMillan, K.; Middeldorp, A.; Voronkov, A.), s. 584-600. Lecture Notes in Computer Science, Advanced Research in Computing and Software Science, 8312. ISBN 978-3-642-45221-5. ISSN 0302-9743.
    [LPAR-19. International Conference /19./. Stellenbosch (ZA), 14.12.2013-19.12.2013]
    Grant CEP: GA ČR GAP202/10/1826
    Institucionální podpora: RVO:67985807
    Klíčová slova: substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0228284
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0422069.pdf0292.6 KBVydavatelský postprintvyžádat
    0422069.pdf7795.9 KBAutorský preprintpovolen
     
     

  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