Zhe Lin - RankMe

20 papers A* 1C 3Journal 10Unranked 6

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