A graphical representation of relational formulae with complementation (Q2889180): Difference between revisions
From MaRDI portal
Set profile property. |
Normalize DOI. |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1051/ita/2012003 / rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2150386611 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2723414 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4501137 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Compiling dyadic first-order specifications into map algebra / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Proofs with graphs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On graph reasoning / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4385532 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Topology of series-parallel networks / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2723894 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Normal forms for binary relations / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An efficient relational deductive system for propositional non-classical logics / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4503910 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An Agg Application Supporting Visual Reasoning1 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Goals and benchmarks for automated map reasoning / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4539604 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Layered map reasoning / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Relational matching for graphical calculi of relations / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5560258 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4040000 / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1051/ITA/2012003 / rank | |||
Normal rank | |||
Latest revision as of 03:28, 20 December 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A graphical representation of relational formulae with complementation |
scientific article |
Statements
A graphical representation of relational formulae with complementation (English)
0 references
4 June 2012
0 references
algebra of binary relations
0 references
quantifier elimination
0 references
graph transformation
0 references
dyadic first-order sentences
0 references
translation techniques
0 references
graphical representation of formulae
0 references
relational complement
0 references
