Phil Watson

According to our database1, Phil Watson authored at least 11 papers between 1990 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Inverse-designed CWDM demultiplexer operated in O-band.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2024

1999
Inductive Learning with Corroboration.
Proceedings of the Algorithmic Learning Theory, 10th International Conference, 1999

1997
Embeddings in the Strong Reducibilities Between 1 and npm.
Math. Log. Q., 1997

A Case Study in Timed CSP: The Railroad Crossing Problem.
Proceedings of the Hybrid and Real-Time Systems, 1997

1995
Inductive Learning of Recurrence-Term Languages from Positive Data.
Proceedings of the Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, 1995

1994
Machine Discovery in the Presence of Incomplete or Ambiguous Data.
Proceedings of the Algorithmic Learning Theory, 1994

1993
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures.
Theor. Comput. Sci., 1993

1991
Order-Sorted Term Rewriting.
Comput. J., 1991

An Efficient Representation of Arithmetic for Term Rewriting.
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1990
On Restricted Forms of Enumeration Reducibility.
Ann. Pure Appl. Log., 1990

Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts.
Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990


  Loading...