Incomplete proofs and terms and their use in interactive theorem proving

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

139 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Baeten, Jos, Promotor Barendregt, H.P., Promotor, External person Geuvers, J.H. (Herman), Copromotor
Award date	5 Apr 2004
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-386-0862-4
DOIs	https://doi.org/10.6100/IR573767
Publication status	Published - 2004

Access to Document

@phdthesis{ebfd4e1bbe504794b79999372a51ee95,

title = "Incomplete proofs and terms and their use in interactive theorem proving",

author = "G.I. Jojgov",

year = "2004",

doi = "10.6100/IR573767",

language = "English",

isbn = "90-386-0862-4",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}