NDLTD Global ETD Search
Return to search

A generic proof checker

No description available.
Links & Downloads
  1. http://espace.library.uq.edu.au/view/UQ:105927
Tags
280403 Logics and Meanings of Programs
Additional Fields
Identiferoai:union.ndltd.org:ADTP/254757
CreatorsWatson, G. N.
Source SetsAustraliasian Digital Theses Program
Detected LanguageEnglish

Page generated in 0.0018 seconds