Context Dependent Procedures and Computed Types in ✓eriFun (Q2866336): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2006.10.038
@@ Property / DOI: 10.1016/j.entcs.2006.10.038 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+VeriFun
@@ Property / describes a project that uses: VeriFun / 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.entcs.2006.10.038
+Normal rank
@@ Property / OpenAlex ID @@
+W2113137402
@@ Property / OpenAlex ID: W2113137402 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating the domains of functional and imperative programs
+Normal rank
@@ Property / cites work @@
+Q2702599
@@ Property / cites work: Q2702599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992821
@@ Property / cites work: Q3992821 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction -- CADE-19. 19th international conference on automated deduction, Miami Beach, FL, USA, July 28 -- August 2, 2003. Proceedings
+Normal rank
@@ Property / cites work @@
+Reasoning About Incompletely Defined Programs
@@ Property / cites work: Reasoning About Incompletely Defined Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524790
@@ Property / cites work: Q4524790 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2006.10.038
@@ Property / DOI: 10.1016/J.ENTCS.2006.10.038 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2866336