Number of the records: 1  

Disjunction Property and Complexity of Structural Logics

  1. 1.
    0343228 - ÚI 2011 PT eng A - Abstract
    Horčík, Rostislav
    Disjunction Property and Complexity of Structural Logics.
    UNILOG 2010. Book of Abstracts. Lisbon: Instituto Superior Técnico - Departemanto de Matemática, 2010 - (Béziau, J.; Caleiro, C.; Costa-Leite, A.; Ramos, J.). s. 52-52. ISBN 978-972-99289-2-5.
    [UniLog 2010. World Congress and School on Universal Logic /3./. 18.04.2010-25.04.2010, Monte Estoril]
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : disjunction property * substructural logic * computational complexity
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0185751

     
     
Number of the records: 1  

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