Andrew Stevens

Affiliations:
  • University of Edinburgh, UK


According to our database1, Andrew Stevens authored at least 3 papers between 1989 and 1993.

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

Timeline

1989
1990
1991
1992
1993
0
1
2
3
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1993
Rippling: A Heuristic for Guiding Inductive Proofs.
Artif. Intell., 1993

1989
An improved method for the mechanisation of inductive proof.
PhD thesis, 1989

A Rational Reconstruction and Extension of Recursion Analysis.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989


  Loading...