The topological μ-calculus
Bibliografické údaje
- Autoři
- Rok vydání
- Typ publikace
- Abstrakt
- Periodikum
- Topology, Algebra and Categories in Logic. Book of Abstracts
- Bibliografická citace
- FERNÁNDEZ-DUQUE, David. The topological μ-calculus. In: Topology, Algebra and Categories in Logic. Book of Abstracts. Coimbra: University of Coimbra, 2022, S. 3-4. Dostupné z: https://www.mat.uc.pt/~tacl2022/#inviteds
- ID
- 560824
Abstrakt
O0