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