Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems (Q5505507): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / 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/978-3-540-85110-3_23
+Normal rank
@@ Property / OpenAlex ID @@
+W1516788060
@@ Property / OpenAlex ID: W1516788060 / rank @@
+Normal rank
@@ Property / cites work @@
+Executing in Common Lisp, Proving in ACL2
@@ Property / cites work: Executing in Common Lisp, Proving in ACL2 / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanized proof of the basic perturbation lemma
+Normal rank
@@ Property / cites work @@
+Q4945205
@@ Property / cites work: Q4945205 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Constructive Homological Algebra in Type Theory
+Normal rank
@@ Property / cites work @@
+Object oriented institutions to specify symbolic computation systems
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+A hidden Herbrand theorem: Combining the object and logic paradigms
+Normal rank
@@ Property / cites work @@
+An object-oriented interpretation of the EAT system
+Normal rank
@@ Property / cites work @@
+Q2785427
@@ Property / cites work: Q2785427 / rank @@
+Normal rank
@@ Property / cites work @@
+A Declarative Language for the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Q4247306
@@ Property / cites work: Q4247306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503915
@@ Property / cites work: Q4503915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471956
@@ Property / cites work: Q4471956 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive algebraic topology
@@ Property / cites work: Constructive algebraic topology / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5505507