Relational Methods in Computer Science (Q5899316)
From MaRDI portal
scientific article; zbMATH DE number 5148675
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relational Methods in Computer Science |
scientific article; zbMATH DE number 5148675 |
Statements
Relational Methods in Computer Science (English)
0 references
2 May 2007
0 references
paraconsistent logic
0 references
lattice representation
0 references
Kripke semantics
0 references
negation
0 references
graded information
0 references
multi-valued logic
0 references
