No label defined (Q4400802)
From MaRDI portal
scientific article; zbMATH DE number 1182730
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1182730 |
Statements
18 March 1999
0 references
logic databases
0 references
database updates
0 references
deductive databases
0 references
logic programming with updates
0 references
logic of state change
0 references
Transaction Logic
0 references
