Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution

Subjects: “…Computer Science & IT…”
Get full text

LNL polycategories and doctrines of linear logic

Subjects: “…Computer Science & IT…”
Get full text

Sound approximate and asymptotic probabilistic bisimulations for PCTL

Subjects: “…Computer Science & IT…”
Get full text

A strong call-by-need calculus

Subjects: “…Computer Science & IT…”
Get full text

Optimal controller synthesis for timed systems

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

A Formal Model for Polarization under Confirmation Bias in Social Networks

Subjects: “…Computer Science & IT…”
Get full text

A case study on parametric verification of failure detectors

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics

Subjects: “…Computer Science & IT…”
Get full text

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

Subjects: “…Computer Science & IT…”
Get full text

A Finite Axiomatisation of Finite-State Automata Using String Diagrams

Subjects: “…Computer Science & IT…”
Get full text

Good-for-games $omega$-Pushdown Automata

Subjects: “…Computer Science & IT…”
Get full text

A modular construction of type theories

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

Learning of Structurally Unambiguous Probabilistic Grammars

Subjects: “…Computer Science & IT…”
Get full text

A proof system for graph (non)-isomorphism verification

Subjects: “…Computer Science & IT…”
Get full text

Completeness of Nominal PROPs

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

Concurrent Process Histories and Resource Transducers

Subjects: “…Computer Science & IT…”
Get full text