Improved Decision Procedures for Pure Relevant Logic
Loading...
Date
Authors
Meyer, Robert
Journal Title
Journal ISSN
Volume Title
Publisher
Kluwer Academic Publishers
Abstract
Description
Keywords
Citation
Collections
Source
Type
Book Title
Logic, Meaning and Computation: Essays in Memory of Alonzo Church