Search the dblp DataBase

Publications of Author

1. Steffen Lange, Phil Watson
   Machine Discovery in the Presence of Incomplete or Ambiguous Data. [Citation Graph (0, 0)][DBLP]
   AII/ALT, 1994, pp:438-452 [Conf]
   
2. Phil Watson
   Inductive Learning with Corroboration. [Citation Graph (0, 0)][DBLP]
   ATL, 1999, pp:145-156 [Conf]
   
3. Muffy Thomas, Phil Watson
   Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. [Citation Graph (0, 0)][DBLP]
   AMAST, 1991, pp:377-390 [Conf]
   
4. Phil Watson
   Inductive Learning of Recurrence-Term Languages from Positive Data. [Citation Graph (0, 0)][DBLP]
   GOSLER Final Report, 1995, pp:292-315 [Conf]
   
5. Luming Lai, Phil Watson
   A Case Study in Timed CSP: The Railroad Crossing Problem. [Citation Graph (0, 0)][DBLP]
   HART, 1997, pp:69-74 [Conf]
   
6. Dave Cohen, Phil Watson
   An Efficient Representation of Arithmetic for Term Rewriting. [Citation Graph (0, 0)][DBLP]
   RTA, 1991, pp:240-251 [Conf]
   
7. Phil Watson
   On Restricted Forms of Enumeration Reducibility. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1990, v:49, n:1, pp:75-96 [Journal]
   
8. A. J. J. Dick, Phil Watson
   Order-Sorted Term Rewriting. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1991, v:34, n:1, pp:16-19 [Journal]
   
9. Phil Watson
   Embeddings in the Strong Reducibilities Between 1 and npm. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 1997, v:43, n:, pp:559-568 [Journal]
   
10. Muffy Thomas, Phil Watson
    Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:112, n:1, pp:145-185 [Journal]