Browse by Person (creator, editor, contributor, etc.)
Number of items: 27. Article
Dick, A.J.J. and Watson, Phil
(1991)
Ordersorted term rewriting.
Computer Journal, 34
(1).
pp. 1619.
ISSN 00104620.
(The full text of this publication is not available from this repository)


Book section
Watson, Phil
(1995)
Inductive learning of recurrenceterm languages from positive data.
In: Jantke, Klaus P. and Lange, Steffen, eds.
Algorithmic learning for knowledgebased systems.
Lecture Notes in Artificial Intelligence, 961
.
Springer Verlag, pp. 292315.
(The full text of this publication is not available from this repository)


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 available from this repository)


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 available from this repository)


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. 145156.
ISBN 3540667482.
(The full text of this publication is not available from this repository)


Lai, Luming and Watson, Phil
(1997)
A case study in Timed CSP: the railroad crossing problem.
In: Maler, O., ed.
Hybrid and RealTime Systems.
Lecture Notes in Computer Science, 1201.
Springer Verlag
pp. 6974.
ISBN 354062600X.
(The full text of this publication is not available from this repository)


Evans, A.S. and Holton, D.R.W. and Lai, L.M. and Watson, Phil
(1997)
A comparison of realtime formal specification languages.
In: Duke, David J. and Evans, A.S., eds.
BCSFACS Northern formal methods workshop.
Electronic Workshops in Computer Science.
Springer Verlag
ISBN 3540761179.
(The full text of this publication is not available from this repository)


Cohen, Dave and Watson, Phil
(1991)
An efficient representation of arithmetic for term rewriting.
In: Rewrite Techniques and Applications, Proceedings of the 4th Conference on Rewrite Techniques and Applications, Como, Italy, 1991.
(The full text of this publication is not available from this repository)


Review
Watson, Phil
(1999)
Review of "Learning with refutation".
Review of: Learning with refutation
by Jain, Sanjay.
Mathematical Reviews
(99m:68166).
ISSN 00255629.
(The full text of this publication is not available from this repository)


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 00255629.
(The full text of this publication is not available from this repository)


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 00255629.
(The full text of this publication is not available from this repository)


This list was generated on Tue Jul 29 13:58:16 2014 BST.
