Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Yu, Junhua
Statistics Math-Net.Ru
Presentations:
1
Number of views:
This page:
68
Website:
https://www.researchgate.net/profile/Junhua_Yu2
https://www.mathnet.ru/eng/person131329
List of publications on Google Scholar
List of publications on ZentralBlatt
Presentations in
Math-Net.Ru
1.
Instantial Neighborhood Logic — tableau, sequent calculus, and interpolation
J. Yu
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 18, 2017
11:10
Organisations
Tsinghua University
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024