共 50 条
- [45] Biological markers of alcohol use and abuse in theory and practice ALCOHOL IN HEALTH AND DISEASE, 2001, : 177 - 205
- [48] Constructive Game Logic PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 84 - 111
- [50] Completeness for Game Logic 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,