An Interactive Theorem Prover for Linear Logic

No Thumbnail Available
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology | Diplomityö
Checking the digitized thesis and permission for publishing
Instructions for the author
Date
1993
Major/Subject
Digitaalitekniikka
Mcode
Tik-79
Degree programme
Language
en
Pages
79
Series
Description
Supervisor
Ojala, Leo
Thesis advisor
Lilius, Johan
Keywords
linear logic, lineaarilogiikka, logic, logiikka, proof theory, teoreemantodistus, theorem proving, Isabelle
Other note
Citation