Pages that link to "Item:Q2892754"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q2892754):
Displaying 50 items.
- Querying UML Class Diagrams (Q2892755) (← links)
- Bicategories of Concurrent Games (Q2892756) (← links)
- Fibrational Induction Meets Effects (Q2892757) (← links)
- A Coalgebraic Perspective on Minimization and Determinization (Q2892759) (← links)
- When Is a Container a Comonad? (Q2892760) (← links)
- Well-Pointed Coalgebras (Extended Abstract) (Q2892761) (← links)
- Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs (Q2892763) (← links)
- Applicative Bisimulations for Delimited-Control Operators (Q2892764) (← links)
- Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata (Q2892766) (← links)
- Improved Ramsey-Based Büchi Complementation (Q2892768) (← links)
- Extending ${\cal H}_1$ -Clauses with Path Disequalities (Q2892769) (← links)
- Brookes Is Relaxed, Almost! (Q2892770) (← links)
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (Q2892771) (← links)
- Is It a “Good” Encoding of Mixed Choice? (Q2892772) (← links)
- Event Structure Semantics of Parallel Extrusion in the Pi-Calculus (Q2892773) (← links)
- Narcissists Are Easy, Stepmothers Are Hard (Q2892774) (← links)
- On Nominal Regular Languages with Binders (Q2892775) (← links)
- Robustness of Structurally Equivalent Concurrent Parity Games (Q2892776) (← links)
- Subgame Perfection for Equilibria in Quantitative Reachability Games (Q2892777) (← links)
- Concurrent Games with Ordered Objectives (Q2892779) (← links)
- Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators (Q2892780) (← links)
- On Distributability of Petri Nets (Q2892781) (← links)
- Functions as Session-Typed Processes (Q2892782) (← links)
- Deriving Bisimulation Congruences for Conditional Reactive Systems (Q2892783) (← links)
- First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time (Q2892784) (← links)
- Model Checking Languages of Data Words (Q2892785) (← links)
- Branching-Time Model Checking of Parametric One-Counter Automata (Q2892786) (← links)
- Synthesizing Probabilistic Composers (Q2892787) (← links)
- On the Complexity of Computing Probabilistic Bisimilarity (Q2892788) (← links)
- Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation (Q2892789) (← links)
- On the Complexity of the Equivalence Problem for Probabilistic Automata (Q2892790) (← links)
- The Search for Structure in Quantum Computation (Q3000595) (← links)
- Coalgebraic Walks, in Quantum and Turing Computation (Q3000596) (← links)
- Similarity Quotients as Final Coalgebras (Q3000597) (← links)
- What Do Reversible Programs Compute? (Q3000598) (← links)
- Irrelevance in Type Theory with a Heterogeneous Equality Judgement (Q3000599) (← links)
- When Is a Type Refinement an Inductive Type? (Q3000600) (← links)
- Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types (Q3000601) (← links)
- Realizability and Parametricity in Pure Type Systems (Q3000602) (← links)
- Sound Bisimulations for Higher-Order Distributed Process Calculus (Q3000603) (← links)
- Deriving Labels and Bisimilarity for Concurrent Constraint Programming (Q3000605) (← links)
- Ordinal Theory for Expressiveness of Well Structured Transition Systems (Q3000606) (← links)
- Alternation Elimination for Automata over Nested Words (Q3000607) (← links)
- Co-Büching Them All (Q3000608) (← links)
- Regularity and Context-Freeness over Word Rewriting Systems (Q3000610) (← links)
- Quantitative Robustness Analysis of Flat Timed Automata (Q3000612) (← links)
- A Game Approach to Determinize Timed Automata (Q3000613) (← links)
- A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes (Q3000614) (← links)
- Church Synthesis Problem for Noisy Input (Q3000615) (← links)
- Probabilistic Modal μ-Calculus with Independent Product (Q3000616) (← links)
