Back to Results
First PageMeta Content
Proof theory / Deductive reasoning / Logic programming / Soundness


An Essence of SSReflect Iain Whiteside, David Aspinall, and Gudmund Grov CISA, School of Informatics University of Edinburgh Edinburgh EH8 9AB, Scotland
Add to Reading List

Document Date: 2013-01-09 06:40:19


Open Document

File Size: 288,91 KB

Share Result on Facebook