Wilfried Hodges

According to our database, Wilfried Hodges authored at least 6 papers between 1990 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

1998

Building Models of Prediction Theories.

Graham White, John Bell, Wilfried Hodges

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997

Some Strange Quantifiers.

Wilfried Hodges

Proceedings of the Structures in Logic and Computer Science, 1997

1995

The Meaning of Specifications I: Domains and Initial Models.

Wilfried Hodges

Theor. Comput. Sci., 1995

1992

Orn Clause Logic 1992.

Wilfried Hodges

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991

There Are Reasonably Nice Logics.

Wilfried Hodges, Saharon Shelah

J. Symb. Log., 1991

1990

Omega-Categoricity, Relative Categoricity and Coordinatisation.

Wilfried Hodges, Ian M. Hodkinson, Dugald Macpherson

Ann. Pure Appl. Log., 1990