DRAT and Propagation Redundancy Proofs Without New Variables

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

Failure Trace Semantics for a Process Algebra with Time-outs

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

LNL-FPC: The Linear/Non-linear Fixpoint Calculus

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

Constructing Higher Inductive Types as Groupoid Quotients

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

Reachability Switching Games

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

Logic for exact real arithmetic

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

Algebraic Language Theory for Eilenberg--Moore Algebras

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

Sculptures in Concurrency

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

Direct spectra of Bishop spaces and their limits

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

Semipullbacks of labelled Markov processes

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

Coalgebraic Semantics for Probabilistic Logic Programming

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

Superposition for Lambda-Free Higher-Order Logic

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

Reconfiguration and Message Losses in Parameterized Broadcast Networks

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

Synthesis of Data Word Transducers

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

Stubborn Set Reduction for Two-Player Reachability Games

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

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

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

Complete Call-by-Value Calculi of Control Operators II: Strong Termination

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

Constructive Domains with Classical Witnesses

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

Datatype defining rewrite systems for naturals and integers

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

A Formal Proof of the Irrationality of $zeta(3)$

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