A Rooted Tableau for BCTL* (Q2825414): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2011.10.012
@@ Property / DOI: 10.1016/j.entcs.2011.10.012 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2011.10.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2026976889
@@ Property / OpenAlex ID: W2026976889 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318194
@@ Property / Wikidata QID: Q113318194 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5184412
@@ Property / cites work: Q5184412 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for CTL* Based on Tableaux and Automata
+Normal rank
@@ Property / cites work @@
+A Rooted Tableau for BCTL*
@@ Property / cites work: A Rooted Tableau for BCTL* / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of full Computation Tree Logic
@@ Property / cites work: An axiomatization of full Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableau for Bundled CTL
@@ Property / cites work: A Tableau for Bundled CTL / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2011.10.012
@@ Property / DOI: 10.1016/J.ENTCS.2011.10.012 / rank @@
+Normal rank