Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Fan Yang
conf.researchr.org general profile
ETAPS 2019 profile
Registered user since Fri 1 Mar 2019
Name:
Fan Yang
Affiliation:
University of Helsinki
Personal website:
https://sites.google.com/site/fanyanghp/
Contributions
2019
GaLoP
Author of Logics for first-order definable team properties within the GaLoP-track
Share
x
Thu 19 Dec 12:58