Unifying theories in ProofPower-Z (Q1941892): Difference between revisions

@@ Property / describes a project that uses @@
+Circus
@@ Property / describes a project that uses: Circus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / 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/s00165-007-0044-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2006972847
@@ Property / OpenAlex ID: W2006972847 / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+A refinement strategy for Circus
@@ Property / cites work: A refinement strategy for Circus / rank @@
+Normal rank
@@ Property / cites work @@
+Angelic nondeterminism in the unifying theories of programming
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanising a Unifying Theory
@@ Property / cites work: Mechanising a Unifying Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Theories in ProofPower-Z
@@ Property / cites work: Unifying Theories in ProofPower-Z / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687569
@@ Property / cites work: Q5687569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412559
@@ Property / cites work: Q4412559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494259
@@ Property / cites work: Q4494259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank