Expressivity of Many-Valued Coalgebraic Logics
Bibliografické údaje
- Rok vydání
- Typ publikace
- Abstrakt
- Periodikum
- 45. Geomechanik - Kolloquium
- Bibliografická citace
- 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
Abstrakt
O0