Decidability, complexity and automated reasoning in relevant logic

Date

1991

Authors

Riche, Jacques M

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

Source

Type

Thesis (PhD)

Book Title

Entity type

Access Statement

License Rights

DOI

10.25911/5d6e4bc8614f3

Restricted until