A Unified Semantics for Constraint Handling Rules in Transaction Logic (Q5425409)
From MaRDI portal
scientific article; zbMATH DE number 5211337
Language | Label | Description | Also known as |
---|---|---|---|
English | A Unified Semantics for Constraint Handling Rules in Transaction Logic |
scientific article; zbMATH DE number 5211337 |
Statements
A Unified Semantics for Constraint Handling Rules in Transaction Logic (English)
0 references
13 November 2007
0 references