Deciding Equations in Conuclear Residuated Lattices (INVITED)
Bibliographic details
- Authors
- Adam Přenosil
- Publication year
- Publication type
- Abstrakt
- Periodical
- CGL & BL 2026 Proceedings of the Czech Gathering of Logicians & Beauty of Logic
- Bibliographic citation
- PŘENOSIL, Adam. Deciding Equations in Conuclear Residuated Lattices (INVITED). In: CGL & BL 2026 Proceedings of the Czech Gathering of Logicians & Beauty of Logic. Institute of Computer Science of the Czech Academy of Sciences & Institute of Philosophy of the Czech Academy of Sciences, 2026, S. 15-15. Dostupné z: https://cglbl2026.github.io/CGL2026_BoA.pdf
- ID
- 649376
- Online record
- View online record
Abstract
O0