An Interactive Theorem Prover for Linear Logic

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorLilius, Johan 
dc.contributor.authorPatinen, Juha-Pekka
dc.contributor.departmentSähkötekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorOjala, Leo 
dc.date.accessioned2020-12-03T16:46:25Z
dc.date.available2020-12-03T16:46:25Z
dc.date.issued1993 
dc.format.extent79 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/81850
dc.identifier.urnURN:NBN:fi:aalto-2020120340688
dc.language.isoenen
dc.programme.majorDigitaalitekniikkafi
dc.programme.mcodeTik-79fi
dc.rights.accesslevelclosedAccess
dc.subject.keywordlinear logicen
dc.subject.keywordlineaarilogiikkafi
dc.subject.keywordlogicen
dc.subject.keywordlogiikkafi
dc.subject.keywordproof theoryen
dc.subject.keywordteoreemantodistusfi
dc.subject.keywordtheorem provingen
dc.subject.keywordIsabellefi
dc.titleAn Interactive Theorem Prover for Linear Logicen
dc.titleEräs interaktiivinen teoreemantodistin lineaarilogiikallefi
dc.type.okmG2 Pro gradu, diplomityö 
dc.type.ontasotMaster's thesisen
dc.type.ontasotPro gradu -tutkielmafi
dc.type.publicationmasterThesis 
local.aalto.digiauthask
local.aalto.digifolderAalto_34661
local.aalto.idinssi8671
local.aalto.openaccessno

Files

Collections

[dipl] Teknillinen korkeakoulu / TKK