Theory extension in ACL2(r) (Q2642461): Difference between revisions

@@ Property / author @@
+Ruben A. Gamboa
@@ Property / author: Ruben A. Gamboa / rank @@
+Normal rank
@@ Property / author @@
+John Cowles
@@ Property / author: John Cowles / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NQTHM
@@ Property / describes a project that uses: NQTHM / 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/s10817-006-9043-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2080350563
@@ Property / OpenAlex ID: W2080350563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016540
@@ Property / cites work: Q4016540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040283
@@ Property / cites work: Q4040283 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard analysis in practice
@@ Property / cites work: Nonstandard analysis in practice / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard analysis in ACL2
@@ Property / cites work: Nonstandard analysis in ACL2 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821145
@@ Property / cites work: Q4821145 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured theory development for a mechanized logic
+Normal rank
@@ Property / cites work @@
+Internal set theory: A new approach to nonstandard analysis
+Normal rank
@@ Property / cites work @@
+Q4039861
@@ Property / cites work: Q4039861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870980
@@ Property / cites work: Q4870980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427909
@@ Property / cites work: Q4427909 / rank @@
+Normal rank