1 - 3 of 3
1
Book section icon
Book section

Contextual and provenance metadata in the Oxford University Research Archive

  • Gray Jones, T, Burgess, L, Jefferies, N, et al.
  • 2016
2
Book section icon
Book section

An interpolating decision procedure for transitive relations with uninterpreted functions

  • Kroening, D, Weissenbacher, G
  • 2009-01-01
3
Book section icon
Book section

Pushing the boundaries of tractable ontology reasoning

  • Carral, D, Feier, C, Grau, B, et al.
  • 2014-01-01
FILTER RESULTS

TO TOP