Junhua Yu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2010–2024
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AiML | Point-Set Neighborhood Logic. | Yanjing Wang, Junhua Yu |
| 2018 | LFCS | A Tableau System for Instantial Neighborhood Logic. | Junhua Yu |
| 2013 | LFCS | Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic Logic. | Junhua Yu |
| 2010 | CSR | Prehistoric Phenomena and Self-referentiality. | Junhua Yu |