Executable first-order queries in the logic of information flows (Q6563053)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Executable first-order queries in the logic of information flows |
scientific article; zbMATH DE number 7872353
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Executable first-order queries in the logic of information flows |
scientific article; zbMATH DE number 7872353 |
Statements
Executable first-order queries in the logic of information flows (English)
0 references
27 June 2024
0 references
limited access pattern
0 references
expressive power
0 references
variable substitution
0 references
composition
0 references
0 references
