author = { Mundhenk, Martin AND Weiß, Felix Martin Mundhenk and Felix Weiß },

title = { The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { complexity , model checking , ACi , intuitionistic logic },

year = {2011},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }