Robert W. Hasker

According to our database¹, Robert W. Hasker authored at least 4 papers between 1994 and 2011.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2011

UMLGrader: an automated class diagram grader.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2011

2001

HiC: a C++ compiler for CS1.

[BibT_eX]

[DOI]

J. Comput. Sci. Coll., 2001

1996

Induction Using Term Orders.

[BibT_eX]

[DOI]

J. Autom. Reason., 1996

1994

Induction using Term Orderings.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994