Computational aspects of dependence logic

dc.identifier.uri	http://dx.doi.org/10.15488/7907
dc.identifier.uri	https://www.repo.uni-hannover.de/handle/123456789/7960
dc.contributor.author	Lohmann, Peter	ger
dc.date.accessioned	2019-12-01T14:17:39Z
dc.date.available	2019-12-01T14:17:39Z
dc.date.issued	2012
dc.identifier.citation	Lohmann, Peter: Computational aspects of dependence logic. Hannover : Gottfried Wilhelm Leibniz Universität, Diss., 2012, 139 S.	ger
dc.description.abstract	[no abstract]	ger
dc.language.iso	eng	eng
dc.publisher	Hannover : Gottfried Wilhelm Leibniz Universität Hannover
dc.rights	Es gilt deutsches Urheberrecht. Das Dokument darf zum eigenen Gebrauch kostenfrei genutzt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden.	ger
dc.subject	Dependence logic	eng
dc.subject	computational complexity	eng
dc.subject	modal logic	eng
dc.subject	expressivity	eng
dc.subject	satisfiability	eng
dc.subject	model checking	eng
dc.subject	two-variable logic	eng
dc.subject	independence-friendly logic	eng
dc.subject	intuitionistic logic	eng
dc.subject	Dependence-Logik	ger
dc.subject	Komplexität	ger
dc.subject	Modallogik	ger
dc.subject	Erfüllbarkeit	ger
dc.subject	Zwei-Variablen-Logik	ger
dc.subject	Independence-friendly-Logik	ger
dc.subject	intuitionistische Logik	ger
dc.subject.ddc	510 \| Mathematik	ger
dc.title	Computational aspects of dependence logic	eng
dc.type	DoctoralThesis	ger
dc.type	Text	ger
dc.relation.urn	urn:nbn:de:gbv:089-7184383884
dcterms.extent	139 S.
dc.description.version	publishedVersion	ger
tib.accessRights	frei zug�nglich	ger

Name: 718438388.pdf

Größe: 945.5Kb

Format: PDF

Die Publikation erscheint in Sammlung(en):

Fakultät für Elektrotechnik und Informatik
Frei zugängliche Publikationen aus der Fakultät für Elektrotechnik und Informatik
Dissertationen
Dissertationsschriften der Leibniz Universität Hannover