- Tytuł:
- A Dynamic Logic Account of Active Integrity Constraints
- Autorzy:
-
Feuillade, Guillaume
Herzig, Andreas
Rantsoudis, Christos - Data publikacji:
- 2019
- Słowa kluczowe:
-
active integrity constraints
dynamic logic
propositional assignments - Pokaż więcej
- Dostawca treści:
- BazTech