Reasoning About Substructures and Games (Q2957764): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1145/2757286
@@ Property / full work available at URL: https://doi.org/10.1145/2757286 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2271301048
@@ Property / OpenAlex ID: W2271301048 / rank @@
+Normal rank
@@ Property / cites work @@
+Local equilibria in economic games
@@ Property / cites work: Local equilibria in economic games / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Substructure Temporal Logic
@@ Property / cites work: Substructure Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Enriched Mu-Calculi
@@ Property / cites work: The Complexity of Enriched Mu-Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy Logic
@@ Property / cites work: Strategy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722045
@@ Property / cites work: Q4722045 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about equilibria in game-like concurrent systems
+Normal rank
@@ Property / cites work @@
+Q3768883
@@ Property / cites work: Q3768883 / rank @@
+Normal rank
@@ Property / cites work @@
+Number of quantifiers is better than number of tape cells
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory and its applications
@@ Property / cites work: Automata theory and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809076
@@ Property / cites work: Q4809076 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Module checking
@@ Property / cites work: Module checking / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Branching-Time Temporal Logics with Minimal Model Quantifiers
+Normal rank
@@ Property / cites work @@
+What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
+Normal rank
@@ Property / cites work @@
+Reasoning About Strategies
@@ Property / cites work: Reasoning About Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in computer science. A study on extensions of temporal and strategic logics
+Normal rank
@@ Property / cites work @@
+A Behavioral Hierarchy of Strategy Logic
@@ Property / cites work: A Behavioral Hierarchy of Strategy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908844
@@ Property / cites work: Q2908844 / rank @@
+Normal rank
@@ Property / cites work @@
+Counting on CTL\(^*\): On the expressive power of monadic path logic
+Normal rank
@@ Property / cites work @@
+Q3576736
@@ Property / cites work: Q3576736 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q2844043
@@ Property / cites work: Q2844043 / rank @@
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2957764