Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions

Get full text

Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers

Get full text

Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

Get full text

A Finite-Model-Theoretic View on Propositional Proof Complexity

Get full text

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic

Get full text

Quotients, inductive types, and quotient inductive types

Get full text

When Can We Answer Queries Using Result-Bounded Data Interfaces?

Get full text

Specification and Verification of Timing Properties in Interoperable Medical Systems

Get full text

CC-circuits and the expressive power of nilpotent algebras

Get full text

Tractable Combinations of Temporal CSPs

Get full text

Formalizing the Face Lattice of Polyhedra

Get full text

Circular Proofs as Session-Typed Processes: A Local Validity Condition

Get full text

Determinisability of register and timed automata

Get full text

Enumerating Answers to First-Order Queries over Databases of Low Degree

Get full text

A Near-Optimal Parallel Algorithm for Joining Binary Relations

Get full text

Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms

Get full text

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

Get full text

A Flexible Proof Format for SAT Solver-Elaborator Communication

Get full text

Uniform Interpolants in EUF: Algorithms using DAG-representations

Get full text

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Get full text