Arithmetical completeness in first-order dynamic logic for concurrent programs (Q1155351): Difference between revisions

@@ 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.2977/prims/1195186718
+Normal rank
@@ Property / OpenAlex ID @@
+W2038186075
@@ Property / OpenAlex ID: W2038186075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / 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 @@
+Q4138150
@@ Property / cites work: Q4138150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140351
@@ Property / cites work: Q4140351 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1155351