Pages that link to "Item:Q4635585"
From MaRDI portal
The following pages link to Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Q4635585):
Displayed 26 items.
- Functional reactive types (Q4635639) (← links)
- Probably safe or live (Q4635640) (← links)
- A quest for algorithmically random infinite structures (Q4635641) (← links)
- On the succinctness of query rewriting over shallow ontologies (Q4635642) (← links)
- Turing machines with atoms, constraint satisfaction problems, and descriptive complexity (Q4635643) (← links)
- Local temporal reasoning (Q4635644) (← links)
- On Hanf-equivalence and the number of embeddings of small induced subgraphs (Q4635645) (← links)
- Infinite sequential games with real-valued payoffs (Q4635647) (← links)
- Hyper-Ackermannian bounds for pushdown vector addition systems (Q4635648) (← links)
- Transition systems over games (Q4635649) (← links)
- Compositional verification of termination-preserving refinement of concurrent programs (Q4635650) (← links)
- Eilenberg-MacLane spaces in homotopy type theory (Q4635651) (← links)
- MSO queries on trees (Q4635652) (← links)
- On the computing power of +, -, and × (Q4635653) (← links)
- On the Hoare theory of monadic recursion schemes (Q4635654) (← links)
- Formulae-as-types for an involutive negation (Q4635655) (← links)
- A type theory for productive coprogramming via guarded recursion (Q4635656) (← links)
- Deadlock and lock freedom in the linear π-calculus (Q4635657) (← links)
- On context semantics and interaction nets (Q4635658) (← links)
- Anchored LTL separation (Q4635659) (← links)
- Separating regular languages with first-order logic (Q4635660) (← links)
- Logics with counting and equivalence (Q4635661) (← links)
- A functional functional interpretation (Q4635662) (← links)
- Compositional higher-order model checking via <i>ω</i> -regular games over Böhm trees (Q4635663) (← links)
- Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives (Q4635664) (← links)
- Faster decision of first-order graph properties (Q4635665) (← links)