Media type: E-Book Title: Smart derivative contracts in DatalogMTL Contributor: Colombo, Andrea [Author]; Bellomarini, Luigi [Author]; Ceri, Stefano [Author]; Laurenza, Eleonora [Author] Published: Rome, Italy: Banca d'Italia, [2023] Published in: Markets, infrastructures, payment systems ; 37 Extent: 1 Online-Ressource (circa 33 Seiten); Illustrationen Language: English Keywords: derivatives ; smart contracts ; Datalog ; DatalogMTL ; reasoning ; Graue Literatur Origination: Footnote: Access State: Open Access