Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
1–20 of 45 hits
Sort by:
Sort by:
-
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
Free accessArXiv | 2018| -
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment
Free accessArXiv | 2020| -
Separating Data Examples by Description Logic Concepts with Restricted Signatures
Free accessArXiv | 2021| -
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)
Free accessArXiv | 2016| -
Knowledge Representation in Agent's Logic with Uncertainty and Agent's Interaction
Free accessArXiv | 2014| -
Practical Verification of Decision-Making in Agent-Based Autonomous Systems
Free accessArXiv | 2013| -
The relational model is injective for Multiplicative Exponential Linear Logic
Free accessArXiv | 2015| -
Model-checking an Epistemic \mu-calculus with Synchronous and Perfect Recall Semantics
Free accessArXiv | 2012|
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.