Journal
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
Volume 8, Issue 1, Pages 245-262Publisher
COLL PUBLICATIONS
Keywords
-
Categories
Funding
- 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