Disjunction Property and Complexity of Structural Logics
Bibliografické údaje
- Autoři
- Rok vydání
- Typ publikace
- Abstrakt
- Periodikum
- UNILOG 2010. Book of Abstracts
- Bibliografická citace
- HORČÍK, Rostislav. Disjunction Property and Complexity of Structural Logics. In: BÉZIAU, J.Y., CALEIRO, C., COSTA-LEITE, A., RAMOS, J., eds. UNILOG 2010. Book of Abstracts. Lisbon: Instituto Superior Técnico - Departemanto de Matemática, 2010, S. 52-52. ISBN 978-972-99289-2-5.
- ID
- 343228