Formalizing generalized maps in Coq (Q1882905): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2004.05.003
@@ Property / DOI: 10.1016/j.tcs.2004.05.003 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4246942
@@ Property / cites work: Q4246942 / rank @@
+Normal rank
@@ Property / cites work @@
+Some topological properties of surfaces in \(Z^3\)
+Normal rank
@@ Property / cites work @@
+Q3703866
@@ Property / cites work: Q3703866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071773
@@ Property / cites work: Q4071773 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4744984
@@ Property / cites work: Q4744984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785521
@@ Property / cites work: Q3785521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906789
@@ Property / cites work: Q3906789 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5615284
@@ Property / cites work: Q5615284 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms and hulls
@@ Property / cites work: Axioms and hulls / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790670
@@ Property / cites work: Q4790670 / rank @@
+Normal rank
@@ Property / cites work @@
+The axioms of constructive geometry
@@ Property / cites work: The axioms of constructive geometry / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2004.05.003
@@ Property / DOI: 10.1016/J.TCS.2004.05.003 / rank @@
+Normal rank