Deciding Equations in Conuclear Residuated Lattices (INVITED)
Bibliografické údaje
- Autoři
- Rok vydání
- Typ publikace
- Abstrakt
- Periodikum
- CGL & BL 2026 Proceedings of the Czech Gathering of Logicians & Beauty of Logic
- Bibliografická citace
- 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 záznam
- Zobrazit online záznam
Abstrakt
O0