Title: Decision procedure of some relevant logics: a constructive perspective
Authors: Riche, Jacques # ×
Issue Date: 2005
Publisher: Editions Hermès-Lavoisier
Series Title: Journal of Applied Non-Classical Logic vol:15 issue:1 pages:9-23
ISSN: 1166-3081
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
41656.pdf Published 134KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.