Propositional dynamic logic with recursive programs (Q2643333): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2006.11.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1974572624
@@ Property / OpenAlex ID: W1974572624 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint calculus for local and global program flows
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Languages of Nested Trees
@@ Property / cites work: Languages of Nested Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+More on nonregular PDL: Finite models and Fibonacci-like programs
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of nonregular programs
+Normal rank
@@ Property / cites work @@
+Deciding Properties of Nonregular Programs
@@ Property / cites work: Deciding Properties of Nonregular Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3330494
@@ Property / cites work: Q3330494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385540
@@ Property / cites work: Q4385540 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Parenthesis Grammars
@@ Property / cites work: Parenthesis Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346126
@@ Property / cites work: Q3346126 / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness is mu-ineffable
@@ Property / cites work: Finiteness is mu-ineffable / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of looping and converse is elementarily decidable
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank