Expressing program looping in regular dynamic logic (Q1161284): Difference between revisions

@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of program structures: Schemes, semantics, verification
+Normal rank
@@ Property / cites work @@
+Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
+Normal rank
@@ Property / cites work @@
+On static logics, dynamic logics, and complexity classes
+Normal rank
@@ Property / cites work @@
+Some Properties of Predicate Transformers
@@ Property / cites work: Some Properties of Predicate Transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in dynamic logic
@@ Property / cites work: Definability in dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4110979
@@ Property / cites work: Q4110979 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596237
@@ Property / cites work: Q5596237 / rank @@
+Normal rank