Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000)

Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000) Public Deposited

Creator	Mark Aagaard
School	Oregon Graduate Institute
Identifier	10.6083/wm117p338
Date	2000
Document type	article
Rights	In Copyright
Citation	Aagaard, M. "Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000)" (2000). OHSU Digital Collections. https://doi.org/10.6083/wm117p338
License	Creative Commons BY Attribution 4.0 International

In Collection:	Scholars Archive
In Administrative Set:	Default Admin Set

Citations:

Thumbnail	Title	Date Uploaded	Visibility	Actions
	csetech-241.pdf	2018-11-20	Public	Download