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