Browse by Person (creator, editor, contributor, etc.)
Number of items: 27. Article
Dick, A.J.J. and Watson, Phil
(1991)
Order-sorted term rewriting.
Computer Journal,
34
(1).
pp. 16-19.
ISSN 0010-4620.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Watson, Phil
(1990)
On restricted forms of enumeration reducibility.
Annals of Pure and Applied Logic,
49
.
pp. 75-96.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Book section
Watson, Phil
(1995)
Inductive learning of recurrence-term languages from positive data.
In: Jantke, Klaus P. and Lange, Steffen, eds.
Algorithmic learning for knowledge-based systems.
Lecture Notes in Artificial Intelligence, 961
.
Springer Verlag, pp. 292-315.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Monograph
Thomas, M. and Kirkwood, C. and Matthews, Brian and Watson, Phil
(1993)
Verification techniques for LOTOS: final report.
Technical report.
Department of Computing Science, University of Glasgow
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Martin, U.H. and Cohen, Dave and Lai, M.K.F. and Norrie, K.J. and Watson, Phil
(1990)
Case studies in equational reasoning.
Technical report.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Conference or workshop item
Watson, Phil
(1999)
Inductive Learning with Corroboration.
In: Watanabe, O. and Yokomori, T., eds.
Algorithmic Learning Theory, Proceedings of the 10th International Conference.
Lecture Notes in Artificial Intelligence, 1720.
Springer Verlag
pp. 145-156.
ISBN 3-540-66748-2.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Evans, A.S. and Holton, D.R.W. and Lai, L.M. and Watson, Phil
(1997)
A comparison of real-time formal specification languages.
In: Duke, David J. and Evans, A.S., eds.
BCS-FACS Northern formal methods workshop.
Electronic Workshops in Computer Science.
Springer Verlag
ISBN 3540761179.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Lange, Steffen and Watson, Phil
(1994)
Machine discovery in the presence of incomplete or ambiguous data.
In: Algorithmic Learning Theory, Proceedings of the 5th International Workshop, Rheinhardsbrunn, Germany, 1994.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Thomas, Muffy and Watson, Phil
(1992)
Solving divergence in Knuth-Bendix completion by enriching signatures.
In: Algebraic Methodology and Software Technology, Proceedings of the 2nd International Conference, Iowa City, U.S.A., 1991.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Review
Watson, Phil
(1999)
Review of "Learning with refutation".
Review of: Learning with refutation
by Jain, Sanjay.
Mathematical Reviews,
(99m:68166).
ISSN 0025-5629.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Watson, Phil
(1999)
Review of 'The structure of intrinsic complexity of learning'.
Review of: The structure of intrinsic complexity of learning
by Jain, Sanjay and Sharma, Arun.
Mathematical Reviews,
(99k:03035).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Watson, Phil
(1999)
Review of 'Approximation methods in inductive inference'.
Review of: Approximation methods in inductive inference
by Moser, W.R..
Mathematical Reviews,
(99g:68174).
ISSN 0025-5629.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Watson, Phil
(1999)
Review of 'Learning via queries and oracles'.
Review of: Learning via queries and oracles
by Stephan, Frank.
Mathematical Reviews,
(99f:03056).
ISSN 0025-5629.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Watson, Phil
(1999)
Review of 'On the relative sizes of learnable sets'.
Review of: On the relative sizes of learnable sets'
by Fortnow, Lance and Freivalds, Rusins and Gasarch, William I. and Kumme, Martin and Kurtz, Stuart A. and Smith, Carl H. and Stephan, Frank.
Mathematical Reviews,
(99c:68210).
ISSN 0025-5629.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
This list was generated on Wed Apr 25 19:50:03 2018 BST.
|