Inductive Fixpoints in Higher Order Logic Sava Krsti´c OGI School of Science and Engineering Oregon Health and Sciences University Abstract - OGI School of Science and Engineering - Document - PDFSEARCH.IO

First Page	Meta Content
	Inductive Fixpoints in Higher Order Logic Sava Krsti´c OGI School of Science and Engineering Oregon Health and Sciences University Abstract Add to Reading List Document Date: 2004-02-02 13:41:00 Open Document File Size: 128,51 KB Share Result on Facebook

Inductive Fixpoints in Higher Order Logic Sava Krsti´c OGI School of Science and Engineering Oregon Health and Sciences University AbstractAdd to Reading List