![]() | ![]() |
1998 | ||
---|---|---|
6 | Graham White, John Bell, Wilfried Hodges: Building Models of Prediction Theories. KR 1998: 557-569 | |
1997 | ||
5 | Wilfried Hodges: Some Strange Quantifiers. Structures in Logic and Computer Science 1997: 51-65 | |
1995 | ||
4 | EE | Wilfried Hodges: The Meaning of Specifications I: Domains and Initial Models. Theor. Comput. Sci. 152(1): 67-89 (1995) |
1992 | ||
3 | Wilfried Hodges: Orn Clause Logic 1992. ALPUK 1992: 201-217 | |
1991 | ||
2 | Wilfried Hodges, Saharon Shelah: There Are Reasonably Nice Logics. J. Symb. Log. 56(1): 300-322 (1991) | |
1990 | ||
1 | Wilfried Hodges, Ian M. Hodkinson, Dugald Macpherson: Omega-Categoricity, Relative Categoricity and Coordinatisation. Ann. Pure Appl. Logic 46(2): 169-199 (1990) |
1 | John Bell | [6] |
2 | Ian M. Hodkinson | [1] |
3 | Dugald Macpherson | [1] |
4 | Saharon Shelah | [2] |
5 | Graham White | [6] |