Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
4
Deontic
4
Deontic Logic
4
Semantics
4
Automated Legislative Drafting
3
Computer circuits
3
Deontic logic
3
Interactive system
3
AI and law
2
Artificial intelligence
2
Contract Verification
2
Contract automata
2
Contracts
2
Crime
2
Laws and legislation
2
Operational view
2
Reconfigurable hardware
2
$$\\mathscr {C\\!L}$$CL
1
Action-based systems
1
Automata-based formalisms
1
Blockchain
1
CL
1
Chlorine
1
Contract Synthesis
1
Contract violation
1
Formal Semantics
1
Formal analysis
1
Formal methods
1
Formal studies
1
Information systems
1
-
1Materias: “...Contracts...”
SER -
2Materias: “...Contracts...”
SER -
3Materias: “...Contract Synthesis...”
CONF -
4Materias: “...Contract Verification...”
SER -
5Materias: “...Contract automata...”
JOUR -
6Materias: “...Contract automata...”
INPR -
7Materias: “...Contract Verification...”
SER