期刊
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
卷 8, 期 1, 页码 245-262出版社
COLL PUBLICATIONS
关键词
-
类别
资金
- EPSRC [EP/N014871/1, EP/K037293/1, EP/G066019/1, EP/G060347/1]
- ESRC [ES/V003909/1]
- AHRC [AH/V003305/1]
- JISC [CIINN01]
- VW Stiftung [92 182]
- Leverhulme Trust [RPG-2013-076, (F/00-143/C)]
- AHRC [AH/V003305/1] Funding Source: UKRI
- ESRC [ES/V003909/1] Funding Source: UKRI