Static extensivity analysis for \(\lambda\)-definable functions over lattices (Q2493277): Difference between revisions

@@ Property / describes a project that uses @@
+PAG
@@ Property / describes a project that uses: PAG / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Q4941829
@@ Property / cites work: Q4941829 / rank @@
+Normal rank
@@ Property / cites work @@
+PAG -- an efficient program analyzer generator
@@ Property / cites work: PAG -- an efficient program analyzer generator / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736993
@@ Property / cites work: Q4736993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5334323
@@ Property / cites work: Q5334323 / rank @@
+Normal rank
@@ Property / cites work @@
+A necessary and sufficient criterion for the monotonicity of Boolean functions with deterministic and stochastic applications
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf03037293
+Normal rank
@@ Property / OpenAlex ID @@
+W1972543258
@@ Property / OpenAlex ID: W1972543258 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2493277