DC FieldValueLanguage
dc.contributor.authorGhilezan, Silviaen_US
dc.date.accessioned2020-12-07T10:38:19Z-
dc.date.available2020-12-07T10:38:19Z-
dc.date.issued2010-
dc.titleComputational interpretations of logicen_US
dc.typeConference Paperen_US
dc.relation.conferenceHigher Order Rewritting, July 14, 2010, Edinburgh, UKen_US
dc.identifier.urlhttp://www.floc-conference.org/HOR-home.html-
item.openairetypeConference Paper-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

Page view(s)

17
checked on Nov 28, 2022

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.