Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
1–20 of 46 hits
Sort by:
Sort by:
-
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
Free accessArXiv | 2018| -
Separating Data Examples by Description Logic Concepts with Restricted Signatures
Free accessArXiv | 2021| -
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment
Free accessArXiv | 2020| -
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)
Free accessArXiv | 2016| -
The relational model is injective for Multiplicative Exponential Linear Logic
Free accessArXiv | 2015| -
Iterative division in the product-free Distributive Full Non-associative Lambek Calculus
Free accessArXiv | 2019| -
Practical Verification of Decision-Making in Agent-Based Autonomous Systems
Free accessArXiv | 2013|