[Back]


Contributions to Proceedings:

B. Lellmann, A. Ciabattoni, E. Freschi, F. Genco:
"Mimamsa Deontic Logic: Proof Theory and Applications";
in: "Automated Reasoning with Analytic Tableaux and Related Methods", 9323; H. De Nivelle (ed.); Springer LNCS, 2015, ISBN: 978-3-319-24311-5, 21 - 24.


Created from the Publication Database of the Vienna University of Technology.