Disjunction Property and Complexity of Structural Logics
Bibliographic details
- Authors
- Rostislav Horčík
- Publication year
- Publication type
- Abstrakt
- Periodical
- UNILOG 2010. Book of Abstracts
- Bibliographic citation
- 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