Zhe Lin

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 12

Top Topics

Image Generation

Boolean Algebra

Top Venues

Fundam. Informaticae

Publications

Zhe Lin, Minghui Ma
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics. Stud Logica 110 (5) (2022)
Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma
Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability. Fundam. Informaticae 179 (3) (2021)
Wentao Jiang, Ning Xu, Jiayun Wang, Chen Gao, Jing Shi, Zhe Lin, Si Liu
Language-Guided Global Image Editing via Cross-Modal Cyclic Mechanism. ICCV (2021)
Kenan E. Ak, Ning Xu, Zhe Lin, Yilin Wang
Incorporating Reinforced Adversarial Learning in Autoregressive Image Generation. CoRR (2020)
Kenan E. Ak, Ning Xu, Zhe Lin, Yilin Wang
Incorporating Reinforced Adversarial Learning in Autoregressive Image Generation. ECCV (21) (2020)
Kaiyang Lin, Zhe Lin
The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics. LORI (2019)
Zhe Lin, Mihir Kumar Chakraborty
The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5. ICLA (2019)
Zhe Lin, Minghui Ma
Gentzen sequent calculi for some intuitionistic modal logics. Log. J. IGPL 27 (4) (2019)
Minghui Ma, Mihir Kumar Chakraborty, Zhe Lin
Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras. IJCSR (2018)
Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma
Decidability in Pre-rough Algebras: Extended Abstract. IJCSR (2018)
Zhe Lin, Minghui Ma
Finite Model Property of Pretransitive Modal Logic. CoRR (2018)
Zhe Lin, Minghui Ma
On the Complexity of the Equational Theory of Residuated Boolean Algebras. WoLLIC (2016)
Zhe Lin, Minghui Ma
The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus. CoRR (2014)
Zhe Lin
Non-associative Lambek calculus with modalities: interpolation, complexity and FEP. Log. J. IGPL 22 (3) (2014)
Minghui Ma, Zhe Lin
Residuated Basic Logic II. Interpolation, Decidability and Embedding. CoRR (2014)
Minghui Ma, Zhe Lin
Residuated Basic Logic I. CoRR (2014)
Zhe Lin
Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free. LACL (2012)
Wojciech Buszkowski, Zhe Lin, Katarzyna Moroz
Pregroup grammars with letter promotions: Complexity and context-freeness. J. Comput. Syst. Sci. 78 (6) (2012)
Wojciech Buszkowski, Zhe Lin
Pregroup Grammars with Letter Promotions. LATA (2010)
Zhe Lin
Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness. LATA (2010)