On the Unprovability of Circuit Size Bounds in Intuitionistic $mathsf{S}^1_2$

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

Extensional and Non-extensional Functions as Processes

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

Distributed controller synthesis for deadlock avoidance

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

The Size-Change Principle for Mixed Inductive and Coinductive types

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

Totality for Mixed Inductive and Coinductive Types

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

Aczel-Mendler Bisimulations in a Regular Category

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

Craig Interpolation for Decidable First-Order Fragments

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

On Bisimilarity for Quasi-discrete Closure Spaces

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

Coinductive Streams in Monoidal Categories

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

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling

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

A Fully Abstract Model of PCF Based on Extended Addressing Machines

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

Feasability of Learning Weighted Automata on a Semiring

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

MacroSwarm: A Field-based Compositional Framework for Swarm Programming

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

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

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

Synthesis with Privacy Against an Observer

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

A Categorical Treatment of Open Linear Systems

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

Boolean basis, formula size, and number of modal operators

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

Learning Concepts Definable in First-Order Logic with Counting

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

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions

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

The Church Synthesis Problem over Continuous Time

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