scientific article; zbMATH DE number 15883

zbMATH Open0781.03007MaRDI QIDQ3972529FDOQ3972529

Authors: Lawrence C. Paulson 

Publication date: 25 June 1992

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A mechanized proof of the basic perturbation lemma
• Simple Types in Type Theory: Deep and Shallow Encodings
• Analytic Tableaux for Simple Type Theory and its First-Order Fragment

Uses Software

• Isabelle
• HOL
• ETPS
• Nuprl

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3972529)