Using computer algebra techniques for the specification, verification and synthesis of recursive programs (Q1025311): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.matcom.2008.11.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2003319485
@@ Property / OpenAlex ID: W2003319485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+\textit{Theorema}: Towards computer-aided mathematical theory exploration
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707743
@@ Property / cites work: Q4707743 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040797
@@ Property / cites work: Q4040797 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995530
@@ Property / cites work: Q3995530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4526967
@@ Property / cites work: Q4526967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4718428
@@ Property / cites work: Q4718428 / rank @@
+Normal rank