Number of the records: 1
Disjunction Property and Complexity of Structural Logics
- 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