Andrew Stevens

Affiliations:

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1993

Rippling: A Heuristic for Guiding Inductive Proofs.

[BibT_eX]

[DOI]

Artif. Intell., 1993

1989

An improved method for the mechanisation of inductive proof.

[BibT_eX]

[DOI]

PhD thesis, 1989

A Rational Reconstruction and Extension of Recursion Analysis.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989