Estimating the maximum rise in temperature according to climate models using abstract interpretation (Q2283722): Difference between revisions

@@ Property / author @@
+Peter Z. Revesz
@@ Property / author: Peter Z. Revesz / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CDB-PV
@@ Property / describes a project that uses: CDB-PV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ESMF
@@ Property / describes a project that uses: ESMF / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2478/ausi-2019-0001
+Normal rank
@@ Property / OpenAlex ID @@
+W2969859706
@@ Property / OpenAlex ID: W2969859706 / rank @@
+Normal rank
@@ Property / cites work @@
+A closed-form evaluation for Datalog queries with integer (gap)-order constraints
+Normal rank
@@ Property / cites work @@
+Introduction to constraint databases
@@ Property / cites work: Introduction to constraint databases / rank @@
+Normal rank
@@ Property / cites work @@
+The Constraint Database Approach to Software Verification
+Normal rank
@@ Property / cites work @@
+Introduction to databases. From biological to spatio-temporal
+Normal rank