Bob Welham

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1991

Time Representation in Prolog Circuit Modelling.

Yossi Lichtenstein, Bob Welham, Ajay Gupta

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.

Alan Bundy, Bob Welham

Artif. Intell., 1981

1980

Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation.

Alan Bundy, Bob Welham

Proceedings of the 5th Conference on Automated Deduction, 1980