Point-Separable Classes of Simple Computable Planar Curves

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

Strongly Complete Logics for Coalgebras

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

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction

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

On Constructor Rewrite Systems and the Lambda Calculus

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

On logical hierarchies within FO^2-definable languages

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

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time

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

Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator

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

Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

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

Bounded Arithmetic in Free Logic

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

Isomorphisms of types in the presence of higher-order references (extended version)

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

Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic

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

Finite dimensional Hilbert spaces are complete for dagger compact closed categories

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

Formalizing Randomized Matching Algorithms

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

Software Model Checking with Explicit Scheduler and Symbolic Threads

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

Efficient CSL Model Checking Using Stratification

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

Completeness for the coalgebraic cover modality

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

The Relationship Between Separation Logic and Implicit Dynamic Frames

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

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability

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

Precompact Apartness Spaces

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

Untyping Typed Algebras and Colouring Cyclic Linear Logic

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