An Improved Proof of the Closure Under Homomorphic Inverse of FCFL Valued in Lattice-Ordered Monoids

Haihui Wang, Luyao Zhao, Ping Li. An Improved Proof of the Closure Under Homomorphic Inverse of FCFL Valued in Lattice-Ordered Monoids. In Xiaoming Sun, Kun He 0001, Xiaoyun Chen, editors, Theoretical Computer Science - 37th National Conference, NCTCS 2019, Lanzhou, China, August 2-4, 2019, Revised Selected Papers. Volume 1069 of Communications in Computer and Information Science, pages 64-75, Springer, 2019. [doi]

Abstract

Abstract is missing.