Improved Decision Procedures for Pure Relevant Logic

Robert Meyer

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Logic, Meaning and Computation: Essays in Memory of Alonzo Church
Editors	C Anderson, M Zeleny
Place of Publication	Dordrecht, The Netherlands
Publisher	Kluwer Academic Publishers
Pages	191-217
Volume	1
Edition	1st
ISBN (Print)	140200141X
Publication status	Published - 2001

Cite this

@inbook{dc1ba3ef76c149d6840f783e22744782,

title = "Improved Decision Procedures for Pure Relevant Logic",

author = "Robert Meyer",

year = "2001",

language = "English",

isbn = "140200141X",

volume = "1",

pages = "191--217",

editor = "{C Anderson, M Zeleny}",

booktitle = "Logic, Meaning and Computation: Essays in Memory of Alonzo Church",

publisher = "Kluwer Academic Publishers",

edition = "1st",

}