Options
Automated Verification of Deontic Correspondences in Isabelle/HOL : First Results
Parent, Xavier; Benzmüller, Christoph (2023): Automated Verification of Deontic Correspondences in Isabelle/HOL : First Results, in: CEUR Workshop Proceedings, Aachen, Germany: RWTH Aachen, S. 92–108.
Faculty/Chair:
Author:
Title of the Journal:
CEUR Workshop Proceedings
ISSN:
1613-0073
Corporate Body:
CEUR-WS.org
Conference:
ARQNL 2022: Automated Reasoning in Quantified Non-Classical Logics, 11 August 2022 ; Haifa, Israel
Publisher Information:
Year of publication:
2023
Issue:
3326, Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022)
Pages:
Language:
English
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Conferenceobject
Activation date:
January 13, 2023
Permalink
https://fis.uni-bamberg.de/handle/uniba/57613