We stand with Ukraine  

Wei Li

Affiliations:
  • National University of Singapore, Department of Mathematics, Singapore
  • University of Vienna, Kurt Gödel Research Center for Mathematical Logic, Vienna, Austria (2014 - 2015)
  • National University of Singapore, Department of Mathematics, Singapore (PhD 2013)


According to our database1, Wei Li authored at least 7 papers between 2013 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Deciding Parity Games in Quasi-polynomial Time.
[BibTeX]
[DOI]
Cristian S. Calude
,
Sanjay Jain
,
Bakhadyr Khoussainov
,
Wei Li
,
Frank Stephan
SIAM J. Comput., 2022

2021
Learnability and Positive Equivalence Relations.
[BibTeX]
[DOI]
David R. Bélanger
,
Ziyuan Gao
,
Sanjay Jain
,
Wei Li
,
Frank Stephan
Proceedings of the Language and Automata Theory and Applications, 2021

2019
Random Subgroups of Rationals.
[BibTeX]
[DOI]
Ziyuan Gao
,
Sanjay Jain
,
Bakhadyr Khoussainov
,
Wei Li
,
Alexander G. Melnikov
,
Karen Seidel
,
Frank Stephan
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2017
Deciding parity games in quasipolynomial time.
[BibTeX]
[DOI]
Cristian S. Calude
,
Sanjay Jain
,
Bakhadyr Khoussainov
,
Wei Li
,
Frank Stephan
Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, 2017

2016
Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory.
[BibTeX]
[DOI]
Sy-David Friedman
,
Wei Li
,
Tin Lok Wong
Arch. Math. Log., 2016

2014
Nonstandard Models in Recursion Theory and Reverse Mathematics.
[BibTeX]
[DOI]
C. T. Chong
,
Wei Li
,
Yue Yang
Bull. Symb. Log., 2014

2013
Friedberg numbering in fragments of Peano Arithmetic and α-recursion theory.
[BibTeX]
[DOI]
Wei Li
J. Symb. Log., 2013


  Loading...