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

@@ 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