Inference rules for proving the equivalence of recursive procedures (Q938300): Difference between revisions

@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / 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.1007/s00236-008-0075-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2039222548
@@ Property / OpenAlex ID: W2039222548 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708513
@@ Property / cites work: Q4708513 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003356
@@ Property / cites work: Q4003356 / rank @@
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal arithmetic: Algorithms and mechanization
@@ Property / cites work: Ordinal arithmetic: Algorithms and mechanization / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for reasoning about equality
@@ Property / cites work: An algorithm for reasoning about equality / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:938300