Author:Rostislav Horcik

Publications
Residuated Lattices, Regular Languages, and Burnside Problem Rostislav Horcik In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Cayley and Holland Theorems for Residuated Lattices Nikolaos Galatos and Rostislav Horcik In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic