Pages that link to "Item:Q5428911"

The following pages link to A Formal Language for Electronic Contracts (Q5428911):

Displaying 2 items.

• A dynamic deontic logic for complex contracts (Q444496) (← links)
• A trace-based model for multiparty contracts (Q764380) (← links)