Vol-3903⫷ Vol-3904 ⫸Vol-3905
urn:nbn:de:0074-3904-0


Vol-3904/paper6⫷Vol-3904/paper7⫸Vol-3904/paper8

Formalizing Decisional and Operational Roles in Legal Contracts via Term-Modal Logic