On legal semantic theories

von Stefaneas, Petros
Veröffentlicht in jus, ars, philosophia et historia (2017)

Proof-events in history of mathematics

von Vandoulakis, Ioannis M.
Veröffentlicht in Gaṇita-Bhāratī (2013)

Towards a Methodology for Formally Analyzing Federated Identity Management Systems

von Ksystra, Katerina
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)

Theory, practice, and applications of rules on the web : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013 ; proceedings

Veröffentlicht 2013