Programming interfaces and basic topology (Q2575770): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2005.05.022
@@ Property / DOI: 10.1016/j.apal.2005.05.022 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2005.05.022
+Normal rank
@@ Property / OpenAlex ID @@
+W2084015889
@@ Property / OpenAlex ID: W2084015889 / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding, decoding and data refinement
@@ Property / cites work: Encoding, decoding and data refinement / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics of evidence for classical arithmetic
@@ Property / cites work: A semantics of evidence for classical arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717191
@@ Property / cites work: Q4717191 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductively generated formal topologies.
@@ Property / cites work: Inductively generated formal topologies. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3775557
@@ Property / cites work: Q3775557 / rank @@
+Normal rank
@@ Property / cites work @@
+A single complete rule for data refinement
@@ Property / cites work: A single complete rule for data refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944859
@@ Property / cites work: Q4944859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339292
@@ Property / cites work: Q5339292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753682
@@ Property / cites work: Q2753682 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718566
@@ Property / cites work: Q5718566 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The point of pointless topology
@@ Property / cites work: The point of pointless topology / rank @@
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4190101
@@ Property / cites work: Q4190101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849882
@@ Property / cites work: Q2849882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+A set constructor for inductive sets in Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+Q3481701
@@ Property / cites work: Q3481701 / rank @@
+Normal rank
@@ Property / cites work @@
+Some points in formal topology.
@@ Property / cites work: Some points in formal topology. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247310
@@ Property / cites work: Q4247310 / rank @@
+Normal rank
@@ Property / cites work @@
+The problem of the formalization of constructive topology
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2005.05.022
@@ Property / DOI: 10.1016/J.APAL.2005.05.022 / rank @@
+Normal rank