Reasoning with Graphs (Q4917998)
From MaRDI portal
scientific article; zbMATH DE number 6160414
Language | Label | Description | Also known as |
---|---|---|---|
English | Reasoning with Graphs |
scientific article; zbMATH DE number 6160414 |
Statements
Reasoning with Graphs (English)
0 references
3 May 2013
0 references
completeness
0 references
decidability
0 references
expressive power
0 references
graph calculus
0 references
relational calculus
0 references