Number of the records: 1  

Full Lambek Calculus with Exchange and Weakening is PSPACE-omplete

  1. 1.
    0328480 - ÚI 2010 US eng A - Abstract
    Horčík, Rostislav
    Full Lambek Calculus with Exchange and Weakening is PSPACE-omplete.
    BLAST 2009. Las Cruses: New Mexico State University, 2009. s. 26-26.
    [BLAST 2009. 10.08.2009-14.08.2009, Las Cruces]
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : disjunction property * full Lambek calculus with exchange and weakening * computational complexity
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0174786

     
     
Number of the records: 1  

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