Thomas Schneider - A Web Based Annotated Bibliography - Aigaion 2.0

BROWSE
EXPORT
- Export all publications
- Export author
SORT BY
- Author
- Title
- Type/Journal
- Year
- Recently added
SITE
- Help
- About this site
GUEST USER
Topic Subscribe
LOGIN
Name:

Password:

Deutsch, English, Nederlands, Norsk, <more...>

First name(s):	Thomas
Last name(s):	Schneider

Frank Dylla, Till Mossakowski, Thomas Schneider and Diedrich Wolter, Algebraic Properties of Qualitative Spatio-Temporal Calculi, in: Proceedings of Conference On Spatial Information Theory 2013, 2013

Christoph Lange, Till Mossakowski and Oliver Kutz, LoLa: A Modular Ontology of Logics, Languages, and Translations, in: Workshop on modular ontologies, 2012

download

[URL]

Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor and Heribert Vollmer, The tractability of model checking for LTL: The good, the bad, and the ugly fragments (2011), in: ACM Transactions on Computational Logic, 12:2(13:1--13:28)

processing time: 0.0508 seconds.