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
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


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