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

URI

http://hdl.handle.net/1885/138550

Collections

Open Access Theses

Source

Type

Thesis (PhD)

Book Title

Entity type

Access Statement

License Rights

DOI

10.25911/5d6e4bc8614f3

Restricted until

Downloads

File
Description
b18157816_Riche, Jacques M.pdf (94 MB)

DSpace software copyright © 2002-2025 LYRASIS