Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Decidability, complexity and automated reasoning in relevant logic

Download (96.26 MB)

link to publisher version

  • Altmetric Citations

Riche, Jacques M

CollectionsOpen Access Theses
Date published: 1991
Type: Thesis (PhD)
URI: http://hdl.handle.net/1885/138550
DOI: 10.25911/5d6e4bc8614f3

Download

File Description SizeFormat Image
b18157816_Riche, Jacques M.pdf96.26 MBAdobe PDFThumbnail
Show full item record


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator