Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset)
Parent, Xavier; Benzmüller, Christoph (2024): Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset), in: Archive of Formal Proofs,.
Faculty/Chair:
Author:
 ; 
Title of the Journal:
Archive of Formal Proofs
ISSN:
2150-914X
Year of publication:
2024
Pages:
Language:
English
URL:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Article
URI:
Activation date:
April 15, 2024

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/94698