Bob Welham

According to our database1, Bob Welham authored at least 3 papers between 1980 and 1991.

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

1991
Time Representation in Prolog Circuit Modelling.
Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, 1991

1981
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation.
Artif. Intell., 1981

1980
Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation.
Proceedings of the 5th Conference on Automated Deduction, 1980


  Loading...