A complete logic for Database Abstract State Machines1 (Q5095627)
From MaRDI portal
scientific article; zbMATH DE number 7570067
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A complete logic for Database Abstract State Machines1 |
scientific article; zbMATH DE number 7570067 |
Statements
A complete logic for Database Abstract State Machines1 (English)
0 references
10 August 2022
0 references
database transformation
0 references
abstract state machine
0 references
complete logic
0 references
