Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution

Get full text

LNL polycategories and doctrines of linear logic

Get full text

Sound approximate and asymptotic probabilistic bisimulations for PCTL

Get full text

A strong call-by-need calculus

Get full text

Optimal controller synthesis for timed systems

Get full text

Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties

Get full text

A Formal Model for Polarization under Confirmation Bias in Social Networks

Get full text

A case study on parametric verification of failure detectors

Get full text

Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs

Get full text

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics

Get full text

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

Get full text

A Finite Axiomatisation of Finite-State Automata Using String Diagrams

Get full text

Good-for-games $omega$-Pushdown Automata

Get full text

A modular construction of type theories

Get full text

Countdown games, and simulation on (succinct) one-counter nets

Get full text

Learning of Structurally Unambiguous Probabilistic Grammars

Get full text

A proof system for graph (non)-isomorphism verification

Get full text

Completeness of Nominal PROPs

Get full text

Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala

Get full text

Concurrent Process Histories and Resource Transducers

Get full text