Application of modal logic to programming (Q1150592): Difference between revisions

@@ Property / cites work @@
+Lucid, a nonprocedural language with iteration
@@ Property / cites work: Lucid, a nonprocedural language with iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649409
@@ Property / cites work: Q5649409 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4130976
@@ Property / cites work: Q4130976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054648
@@ Property / cites work: Q4054648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4158490
@@ Property / cites work: Q4158490 / 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 @@
+Q4124287
@@ Property / cites work: Q4124287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138097
@@ Property / cites work: Q4138097 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+Normal rank
@@ Property / cites work @@
+Q4173344
@@ Property / cites work: Q4173344 / rank @@
+Normal rank
@@ Property / cites work @@
+A practical decision method for propositional dynamic logic (Preliminary Report)
+Normal rank
@@ Property / cites work @@
+Q5596237
@@ Property / cites work: Q5596237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4136512
@@ Property / cites work: Q4136512 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140350
@@ Property / cites work: Q4140350 / rank @@
+Normal rank