Wilfried Hodges

Publication Activity (10 Years)

Years Active: 1990-1998
Publications (10 Years): 0

Publications

Graham White, John Bell, Wilfried Hodges
Building Models of Prediction Theories. KR (1998)
Wilfried Hodges
Some Strange Quantifiers. Structures in Logic and Computer Science (1997)
Wilfried Hodges
The Meaning of Specifications I: Domains and Initial Models. Theor. Comput. Sci. 152 (1) (1995)
Wilfried Hodges
Orn Clause Logic 1992. ALPUK (1992)
Wilfried Hodges, Saharon Shelah
There Are Reasonably Nice Logics. J. Symb. Log. 56 (1) (1991)
Wilfried Hodges, Ian M. Hodkinson, Dugald Macpherson
Omega-Categoricity, Relative Categoricity and Coordinatisation. Ann. Pure Appl. Log. 46 (2) (1990)