A constructive algebraic hierarchy in Coq. (Q1404425): Difference between revisions

@@ Property / DOI @@
-.1006/jsco.2002.0552
@@ Property / DOI: 10.1006/jsco.2002.0552 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AXIOM
@@ Property / describes a project that uses: AXIOM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2013140497
@@ Property / OpenAlex ID: W2013140497 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit coercions in type systems
@@ Property / cites work: Implicit coercions in type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754042
@@ Property / cites work: Q2754042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736392
@@ Property / cites work: Q4736392 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023355
@@ Property / cites work: Q4023355 / rank @@
+Normal rank
@@ Property / cites work @@
+Ergänzung zu einer Arbeit von Hellmuth Kneser über den Fundamentalsatz der Algebra
+Normal rank
@@ Property / cites work @@
+Coercive subtyping
@@ Property / cites work: Coercive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754063
@@ Property / cites work: Q2754063 / rank @@
+Normal rank
@@ Property / DOI @@
+.1006/JSCO.2002.0552
@@ Property / DOI: 10.1006/JSCO.2002.0552 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1404425