A Theorem Prover For Meta Theory  (Make Corrections)   Frank M. Brown Tr-85 Oct. 1978 Department of Computer Sciences, The...   Home/Search   Context   Related Links:   ACM

View or download: utexas.edu/ftp/pub/techre...tr7885.pdf Cached:  PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.   PDF   PS.gz  PS  Image  Update  Help From:  utexas.edu/ftp/pub/techreports... (more) (Enter author homepages)

Rate this article: (best)   Comment on this article

@techreport{ brown78theorem,
    author = "Frank M. Brown",
    title = "A Theorem Prover for Meta Theory",
    number = "CS-TR-78-85",
    month = "1,",
    year = "1978",
    url = "citeseer.ist.psu.edu/563931.html" }