Residuated Lattices, Regular Languages, and Burnside Problem.

Bibliographic details

Authors

Rostislav Horčík

Publication year

2014

Publication type

Abstrakt

Periodical

TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic

Projects

• Algebraic Methods in Proof Theory

Bibliographic citation

HORČÍK, Rostislav. Residuated Lattices, Regular Languages, and Burnside Problem. In: GALATOS, N., KURZ, A., TSINAKIS, C., eds. TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic. University of Manchester: EasyChair Conference System, 2014, S. 6-7. EPiC, 25. ISSN 2040-557X. Dostupné z: http://easychair.org/publications/?page=1179031665

ID

430593