Improved Decision Procedures for Pure Relevant Logic

Simple item page
dc.contributor.authorMeyer, Robert
dc.date.accessioned2015-12-13T22:17:24Z
dc.date.available2015-12-13T22:17:24Z
dc.date.issued2001
dc.date.updated2015-12-11T07:33:55Z
dc.identifier.isbn140200141X
dc.identifier.urihttp://hdl.handle.net/1885/71109
dc.publisherKluwer Academic Publishers
dc.relation.ispartofLogic, Meaning and Computation: Essays in Memory of Alonzo Church
dc.relation.isversionof1st Edition
dc.titleImproved Decision Procedures for Pure Relevant Logic
dc.typeBook chapter
local.bibliographicCitation.lastpage217
local.bibliographicCitation.placeofpublicationDordrecht, The Netherlands
local.bibliographicCitation.startpage191
local.contributor.affiliationMeyer, Robert, College of Engineering and Computer Science, ANU
local.contributor.authoruidMeyer, Robert, u4593188
local.description.notesImported from ARIES
local.description.refereedYes
local.identifier.absfor010104 - Combinatorics and Discrete Mathematics (excl. Physical Combinatorics)
local.identifier.ariespublicationMigratedxPub2560
local.type.statusPublished Version

Downloads

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS