eCommons@Cornell: Browsing eCommons

Browsing by Author "Basin, David A."

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 6 of 6

Issue Date	Title	Author(s)
Dec-1989	Building Problem Solving Environments In Constructive Type Theory	*Basin, David A.*
Aug-1988	Building Theories in Nuprl	*Basin, David A.*
Nov-1987	An Environment for Automated Reasoning About Partial Functions	*Basin, David A.*
Jun-1989	Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators is Isomorphism Complete	*Basin, David A.*
Sep-1991	Metalogical Frameworks	*Basin, David A.; Constable, Robert L.*
Jun-1989	Verification of Combinational Logic in Nuprl	*Basin, David A.; Del Vecchio, Peter*

Showing results 1 to 6 of 6