An abstract interpretation framework for genotype elimination algorithms (Q428908): Difference between revisions

@@ Property / describes a project that uses @@
+Celer
@@ Property / describes a project that uses: Celer / 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.1016/j.tcs.2012.03.032
+Normal rank
@@ Property / OpenAlex ID @@
+W1975124142
@@ Property / OpenAlex ID: W1975124142 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Making abstract interpretations complete
@@ Property / cites work: Making abstract interpretations complete / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, model checking, and abstract interpretation. 9th international conference, VMCAI 2008, San Francisco, USA, January 7--9, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+A Forward-Backward Abstraction Refinement Algorithm
+Normal rank
@@ Property / cites work @@
+Generalized Strong Preservation by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Generalizing the Paige-Tarjan algorithm by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Mendelian error detection in complex pedigrees using weighted constraint satisfaction tech\-niques
+Normal rank
@@ Property / cites work @@
+The complexity of assigning genotypes to people in a pedigree consistently
+Normal rank