Expressivity of Many-Valued Coalgebraic Logics
Bibliographic details
- Authors
- Marta Bílková, Matěj Dostál
- Publication year
- Publication type
- Abstrakt
- Periodical
- 45. Geomechanik - Kolloquium
- Bibliographic citation
- BÍLKOVÁ, Marta, DOSTÁL, Matěj. Expressivity of Many-Valued Coalgebraic Logics. In: KONIETZKY, H., ed. 45. Geomechanik - Kolloquium. Freiberg: Technische Universität Bergakademie Freiberg, Institut für Geotechnik, 2016, S. 33-35. ISSN 1611-1605.
- ID
- 461992
Abstract
O0