Title: Extending Classical Logic with Inductive Definitions
Authors: Denecker, Marc # ×
Issue Date: 2000
Host Document: Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000 pages:1-10
Conference: 8th International Workshop on Nonmonotonic Reasoning location:Breckenridge, Colorado, USA date:9-11 April 2000
Description: Paper available in CoRR under number cs.LO/0003019
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
21411.pdf Published 212KbAdobe PDFView/Open


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