default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhe Lin 0002
Person information
- affiliation: Sun Yat-sen University, Institute of Logic and Cognition, Guangzhou, China
- affiliation (former): Adam Mickiewicz University, Poznan, Poland
Other persons with the same name
- Zhe Lin — disambiguation page
- Zhe L. Lin
![[0000-0003-1154-9907]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-1154-9907")
(aka: Zhe Lin 0001) — Adobe Systems, Inc., San Jose, CA, USA - Zhe Lin 0003 — Chaoyang University of Technology, Taichung, Taiwan
- Zhe Lin 0004 — Beijing Genomics Institute, Shenzhen
- Zhe Lin 0005 — Fudan University, Shanghai, China
- Zhe Lin 0006 — Shanghai Maritime University, Shanghai, China
- Zhe Lin 0007 — Hong Kong University of Science and Technology, Department of Electronic and Computer Engineering, Hong Kong
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
[j5]Zhe Lin, Minghui Ma:
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics. Stud Logica 110(5): 1255-1289 (2022)- 2021
- [j4]Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma:
Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability. Fundam. Informaticae 179(3): 239-274 (2021) - 2019
- [j3]Zhe Lin, Minghui Ma:
Gentzen sequent calculi for some intuitionistic modal logics. Log. J. IGPL 27(4): 596-623 (2019) - 2014
- [j2]Zhe Lin:
Non-associative Lambek calculus with modalities: interpolation, complexity and FEP. Log. J. IGPL 22(3): 494-512 (2014) - 2012
- [j1]Wojciech Buszkowski, Zhe Lin, Katarzyna Moroz:
Pregroup grammars with letter promotions: Complexity and context-freeness. J. Comput. Syst. Sci. 78(6): 1899-1909 (2012)
Conference and Workshop Papers
- 2021
- [c10]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: 2095-2104 - 2020
- [c9]Kenan E. Ak, Ning Xu, Zhe Lin, Yilin Wang:
Incorporating Reinforced Adversarial Learning in Autoregressive Image Generation. ECCV (21) 2020: 18-34 - 2019
- [c8]Zhe Lin, Mihir Kumar Chakraborty:
The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5. ICLA 2019: 30-41 - [c7]Kaiyang Lin, Zhe Lin:
The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics. LORI 2019: 140-152 - 2018
- [c6]Minghui Ma, Mihir Kumar Chakraborty, Zhe Lin:
Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras. IJCSR 2018: 309-322 - [c5]Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma:
Decidability in Pre-rough Algebras: Extended Abstract. IJCSR 2018: 511-521 - 2016
- [c4]Zhe Lin, Minghui Ma:
On the Complexity of the Equational Theory of Residuated Boolean Algebras. WoLLIC 2016: 265-278 - 2012
- [c3]Zhe Lin:
Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free. LACL 2012: 161-172 - 2010
- [c2]Wojciech Buszkowski, Zhe Lin:
Pregroup Grammars with Letter Promotions. LATA 2010: 130-141 - [c1]Zhe Lin:
Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness. LATA 2010: 414-425
Informal and Other Publications
- 2020
- [i5]Kenan E. Ak, Ning Xu, Zhe Lin, Yilin Wang:
Incorporating Reinforced Adversarial Learning in Autoregressive Image Generation. CoRR abs/2007.09923 (2020) - 2018
- [i4]Zhe Lin, Minghui Ma:
Finite Model Property of Pretransitive Modal Logic. CoRR abs/1802.09240 (2018) - 2014
- [i3]Zhe Lin, Minghui Ma:
The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus. CoRR abs/1403.3157 (2014) - [i2]Minghui Ma, Zhe Lin:
Residuated Basic Logic I. CoRR abs/1403.3354 (2014) - [i1]Minghui Ma, Zhe Lin:
Residuated Basic Logic II. Interpolation, Decidability and Embedding. CoRR abs/1404.7401 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 22:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
