Počet záznamů: 1  

Disjunction Property and Complexity of Substructural Logics

    1.
    HORČÍK, R., TERUI, K. Disjunction Property and Complexity of Substructural Logics. Theoretical Computer Science. 2011, 412(31), 3992-4006. ISSN 0304-3975. E-ISSN 1879-2294. Dostupné z: doi: 10.1016/j.tcs.2011.04.004
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.

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