Full Lambek Calculus with Exchange and Weakening is PSPACE-omplete

Bibliografické údaje

Autoři

• Rostislav Horčík

Rok vydání

2009

Typ publikace

Abstrakt

Periodikum

BLAST 2009

Bibliografická citace

HORČÍK, Rostislav. Full Lambek Calculus with Exchange and Weakening is PSPACE-omplete. In: BLAST 2009. Las Cruses: New Mexico State University, 2009, S. 26-26.

ID

328480