Compiling dyadic first-order specifications into map algebra (Q1870581): Difference between revisions

@@ Property / author @@
-Domenico Cantone
@@ Property / author: Domenico Cantone / rank @@
-Normal rank
@@ Property / author @@
-Andrea Formisano
@@ Property / author: Andrea Formisano / rank @@
-Normal rank
@@ Property / author @@
-Eugenio Giovanni Omodeo
@@ Property / author: Eugenio Giovanni Omodeo / rank @@
-Normal rank
@@ Property / author @@
-Calogero G. Zarba
@@ Property / author: Calogero G. Zarba / rank @@
-Normal rank
@@ Property / author @@
+Domenico Cantone
@@ Property / author: Domenico Cantone / rank @@
+Normal rank
@@ Property / author @@
+Andrea Formisano
@@ Property / author: Andrea Formisano / rank @@
+Normal rank
@@ Property / author @@
+Eugenio Giovanni Omodeo
@@ Property / author: Eugenio Giovanni Omodeo / rank @@
+Normal rank
@@ Property / author @@
+Calogero G. Zarba
@@ Property / author: Calogero G. Zarba / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AGG
@@ Property / describes a project that uses: AGG / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342094
@@ Property / cites work: Q4342094 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the theory of the natural integers with the Cantor pairing function and the successor
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Q4503910
@@ Property / cites work: Q4503910 / rank @@
+Normal rank
@@ Property / cites work @@
+Goals and benchmarks for automated map reasoning
@@ Property / cites work: Goals and benchmarks for automated map reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Layered map reasoning
@@ Property / cites work: Layered map reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539604
@@ Property / cites work: Q4539604 / rank @@
+Normal rank
@@ Property / cites work @@
+An Agg Application Supporting Visual Reasoning1
@@ Property / cites work: An Agg Application Supporting Visual Reasoning1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2735802
@@ Property / cites work: Q2735802 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3282928
@@ Property / cites work: Q3282928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384471
@@ Property / cites work: Q4384471 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to axiomatic set theory
@@ Property / cites work: Introduction to axiomatic set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992465
@@ Property / cites work: Q3992465 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4032144
@@ Property / cites work: Q4032144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703918
@@ Property / cites work: Q3703918 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
+Normal rank
@@ Property / cites work @@
+Q4069886
@@ Property / cites work: Q4069886 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(01)00355-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1986995658
@@ Property / OpenAlex ID: W1986995658 / rank @@
+Normal rank