A first-order logic characterization of safety and co-safety languages (Q6135783): Difference between revisions

@@ Property / OpenAlex ID @@
+W4385739703
@@ Property / OpenAlex ID: W4385739703 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817546
@@ Property / cites work: Q4817546 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995303
@@ Property / cites work: Q3995303 / rank @@
+Normal rank
@@ Property / cites work @@
+A first-order logic characterization of safety and co-safety languages
+Normal rank
@@ Property / cites work @@
+Characterization of temporal property classes
@@ Property / cites work: Characterization of temporal property classes / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of safety properties
@@ Property / cites work: Model checking of safety properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3482822
@@ Property / cites work: Q3482822 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof of Kamp's theorem
@@ Property / cites work: A Proof of Kamp's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Safety, liveness and fairness in temporal logic
@@ Property / cites work: Safety, liveness and fairness in temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL
+Normal rank
@@ Property / cites work @@
+Q5485993
@@ Property / cites work: Q5485993 / rank @@
+Normal rank
@@ Property / cites work @@
+Star-free regular sets of ω-sequences
@@ Property / cites work: Star-free regular sets of ω-sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029611
@@ Property / cites work: Q4029611 / rank @@
+Normal rank