Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics (GenMod)

Third party funded individual grant

Acronym: GenMod

Start date : 01.05.2008

End date : 30.09.2016

Extension date: 31.08.2019

• Overview

   

• Publications

  (21)

Types of publications

Toggle all

Journal article

Journal article

Book chapter / Article in edited volumes

Book chapter / Article in edited volumes

Authored book

Authored book

Translation

Translation

Thesis

Thesis

Edited Volume

Edited Volume

Conference contribution

Conference contribution

Other publication type

Other publication type

Unpublished / Preprint

Unpublished / Preprint

Publication year

From

To

Abstract

Journal