Menu

I. A. Stewart

5 published titles

Methods for proving completeness via logical reductions

1 edition

  • University of Newcastle upon Tyne, Computing Laboratory
  • 1991
  • Details

Complete problems involving Boolean labelled structures and projection translations

1 edition

  • University of Newcastle upon Tyne, Computing Laboratory
  • 1991
  • Details

Refining known results on the generalized word problem for free groups

1 edition

  • University of Newcastle upon Tyne, Computing Laboratory
  • 1991
  • Details

On the capture of complexity classes using logic

1 edition

  • University of Newcastle upon Tyne, Computing Laboratory
  • 1991
  • Details

On the expressibility of extensions of first order logic

1 edition

  • University of Newcastle upon Tyne, Computing Laboratory
  • 1991
  • Details

obnb.uk is a Good Stuff website.