Extending Unification in $mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification

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

On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC

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

Build your own clarithmetic II: Soundness

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

Data optimizations for constraint automata

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

Z-stability in Constructive Analysis

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

Idempotents in intensional type theory

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

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types

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

Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism

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

Solving finite-domain linear constraints in presence of the $texttt{alldifferent}$

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

How Much Lookahead is Needed to Win Infinite Games?

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

Block structure vs scope extrusion: between innocence and omniscience

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

Dualized Simple Type Theory

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

Dynamic Choreographies: Theory And Implementation

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

Existence of strongly proper dyadic subbases

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

Multiparty Session Actors

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

Minimisation of Multiplicity Tree Automata

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

Notions of Anonymous Existence in Martin-Löf Type Theory

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

Typing weak MSOL properties

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

Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields

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

Reachability Analysis of Innermost Rewriting

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