A note on the characterization of TL [EF] (Q845961): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2006.11.012
+Normal rank
@@ Property / OpenAlex ID @@
+W1528847705
@@ Property / OpenAlex ID: W1528847705 / rank @@
+Normal rank
@@ Property / cites work @@
+STACS 2005
@@ Property / cites work: STACS 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
+Normal rank
@@ Property / cites work @@
+First-order logic on finite trees
@@ Property / cites work: First-order logic on finite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Stutter-invariant temporal properties are expressible without the next-time operator
+Normal rank
@@ Property / cites work @@
+Q4251040
@@ Property / cites work: Q4251040 / rank @@
+Normal rank