A PSPACE-Complete First Order Fragment of Computability Logic
A Qualitative Modal Representation of Quantum Register Transformations
A Quantifier Elimination Algorithm for Linear Real Arithmetic
A Query Language for Formal Mathematical Libraries
A Real World Mechanism for Testing Satisfiability in Polynomial Time
A recursive normalizing one-step reduction strategy for the distributive lambda calculus
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
A Rewriting-Logic-Based Technique for Modeling Thermal Systems
A rich hierarchy of functionals of finite types
A Rule-Based Logic for Quantum Information
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
A Scalable Module System
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
A Sequent Calculus for Modelling Interferences
A sequent calculus with procedure calls
A short proof that adding some permutation rules to $β$ preserves $SN$
A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness
A Simple Correctness Proof for Magic Transformation
A Simplest Undecidable Modal Logic
A Simplification of a Real-Time Verification Problem