Continuous Domains and their Information System Representation as Logical Systems (Q4916204)
From MaRDI portal
scientific article; zbMATH DE number 6156012
Language | Label | Description | Also known as |
---|---|---|---|
English | Continuous Domains and their Information System Representation as Logical Systems |
scientific article; zbMATH DE number 6156012 |
Statements
Continuous Domains and their Information System Representation as Logical Systems (English)
0 references
19 April 2013
0 references
domain theory
0 references
continuous information systems
0 references
logical systems
0 references
models
0 references
consequence relations
0 references