Parameterised complexity of model checking and satisfiability in propositional dependence logic

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.

Treffer 1 von 2


Link zu diesem Datensatz	https://d-nb.info/1270139843
Titel	Parameterised complexity of model checking and satisfiability in propositional dependence logic / Yasir Mahmood, Arne Meier
Person(en)	Mahmood, Yasir (Verfasser) Meier, Arne (Verfasser)
Verlag	Hannover : Gottfried Wilhelm Leibniz Universität Hannover - Hannover : Technische Informationsbibliothek (TIB)
Zeitliche Einordnung	Erscheinungsdatum: 2021
Umfang/Format	Online-Ressource
Persistent Identifier	URN: urn:nbn:de:101:1-2022101302111668913666 DOI: 10.15488/12823
URL	https://www.repo.uni-hannover.de/handle/123456789/12926 (Verlag) (kostenfrei zugänglich)
Sprache(n)	Englisch (eng)
Anmerkungen	In: Mahmood, Y.; Meier, A.: Parameterised complexity of model checking and satisfiability in propositional dependence logic. In: Annals of mathematics and artificial intelligence 90 (2022), Nr. 2-3, S. 271-296. DOI: https://doi.org/10.1007/s10472-021-09730-w
DDC-Notation	004.01 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 1 von 2

Korrekturanfrage