Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYue Li 0021
Person information
- affiliation: Heriot-Watt University, School of Mathematical and Computer Sciences, Edinburgh, UK
Other persons with the same name
- Yue Li — disambiguation page
- Yue Li 0001 — California Institute of Technology, Pasadena, CA, USA (and 1 more)
- Yue Li 0002
![[0000-0001-7682-811X]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0001-7682-811X")
— College of William & Mary, Williamsburg, VA, USA - Yue Li 0003 — Jilin University, Department of Information, College of Communication Engineering, Changchun, China
- Yue Li 0004 — City University of Hong Kong, Department of Mechanical and Biomedical Engineering, Hong Kong
- Yue Li 0005 — Purdue University, West Lafayette, IN, USA
- Yue Li 0006 — Nanjing University, China (and 2 more)
- Yue Li 0007 — University of Victoria, Department of Electrical and Computer Engineering, BC, Canada
- Yue Li 0008 — Hong Kong University of Science and Technology, Department of Electrical and Computer Engineering, Hong Kong
- Yue Li 0009 — Tsinghua University, Department of Electronic Engineering, Microwave and Antenna Institute, Beijing, China
- Yue Li 0010 — Donghua University, School of Computer Science and Technology, Shanghai, China (and 1 more)
- Yue Li 0011 — University of Rennes 1, France
- Yue Li 0012 — University of Karlsruhe, Germany
- Yue Li 0013 — Nankai University, College of Software, Tianjin, China (and 1 more)
- Yue Li 0014 — Pennsylvania State University, Department of Mechanical and Nuclear Engineering, University Park, PA, USA
- Yue Li 0015 — Bytedance Inc., San Diego, CA, USA (and 1 more)
- Yue Li 0016 — Hunan University, School of Information Science and Engineering, Changsha, China
- Yue Li 0017 — Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, Boston, MA, USA (and 1 more)
- Yue Li 0018 — Harbin Institute of Technology, Communications Engineering Research Center, Shenzhen, China
- Yue Li 0019 — Florida International University, School of Computing and Information Sciences, Miami, FL, USA (and 2 more)
- Yue Li 0020 — Wuhan University of Science and Engineering, Wuhan, China
- Yue Li 0022 — Naval Aviation University, College of Basic Science for Aviation, Yantai, China
- Yue Li 0023 — Xi'an Jiaotong-Liverpool University, Suzhou, China (and 1 more)
- Yue Li 0024 — Nanyang Technological University, School of Electrical and Electronic Engineering, Singapore
- Yue Li 0025 — Chinese University of Hong Kong, Department of Geography and Resource Management, Hong Kong
- Yue Li 0026 — University College Dublin, School of Electrical and Electronic Engineering, Dublin, Ireland
- Yue Li 0027 — Nanjing University of Aeronautics and Astronautics, College of Automation Engineering, Nanjing, China
- Yue Li 0028 — Capital Normal University, Information Engineering College, Beijing, China
- Yue Li 0029 — University of Science and Technology Beijing, School of Computer and Communication Engineering, Beijing, China
- Yue Li 0030 — Zhejiang University, College of Electrical Engineering, Hangzhou, China
- Yue Li 0031 — Case Western Reserve University, Department of Civil Engineering, Cleveland, OH, USA (and 1 more)
- Yue Li 0032 — National University of Defense Technology, Laboratory of Science and Technology on Integrated Logistics Support, Changsha, China
- Yue Li 0033 — AIG Software, Jersey City, NJ, USA (and 1 more)
- Yue Li 0034 — University of New South Wales, UNSW, School of Electrical Engineering and Telecommunications, Sydney, Australia
- Yue Li 0035 — Télécom ParisTech, INFRES, France,
- Yue Li 0036 — University of Amsterdam, Atlas Lab, The Netherlands (and 1 more)
- Yue Li 0037 — Peking University, School of Computer Science, HCST, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[b1]Yue Li:
A proof-theoretic approach to coinduction in Horn clause logic. Heriot-Watt University, UK, 2019- [c3]Henning Basold, Ekaterina Komendantskaya, Yue Li:
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. ESOP 2019: 783-813 - [i3]Ekaterina Komendantskaya, Yue Li:
Coinductive Uniform Proofs. CoRR abs/1903.07371 (2019) - 2018
- [c2]Ekaterina Komendantskaya, Yue Li:
Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper. HCVS 2018: 27-33 - [i2]Henning Basold, Ekaterina Komendantskaya, Yue Li:
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. CoRR abs/1811.07644 (2018) - 2017
- [j1]Ekaterina Komendantskaya, Yue Li:
Productive corecursion in logic programming. Theory Pract. Log. Program. 17(5-6): 906-923 (2017) - [i1]Ekaterina Komendantskaya, Yue Li:
Productive Corecursion in Logic Programming. CoRR abs/1707.01541 (2017) - 2016
- [c1]Yue Li:
Structural Resolution with Co-inductive Loop Detection. CoALP-Ty 2016: 52-67
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-06-25 23:35 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:
