A ground many-valued type theory and its extensions
Bibliografické údaje
- Autoři
- Rok vydání
- Typ publikace
- Abstrakt
- Periodikum
- Graded Logical Approaches and Their Applications
- Bibliografická citace
- BĚHOUNEK, Libor. A ground many-valued type theory and its extensions. In: FLAMINIO, T., GODO, L., GOTTWALD, S., KLEMENT, E.P., eds. Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014, S. 15-18.
- ID
- 427494