Name Card

Full name Familienname, Vorname

Benzmüller, Christoph

Main Affiliation Organisationszuordnung

FU Berlin

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Parent, Xavier ; Benzmüller, Christoph	Automated Verification of Deontic Correspondences in Isabelle/HOL - First results	Inproceedings Konferenzbeitrag	2022
	2		Benzmüller, Christoph ; Parent, Xavier ; Ricca, Francesco	Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)	Artikel Article	2021