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 2 von 2


Link zu diesem Datensatz	https://d-nb.info/1231488360
Titel	Parameterised complexity of model checking and satisfiability in propositional dependence logic / by Yasir Mahmood, Arne Meier
Person(en)	Mahmood, Yasir (Verfasser) Meier, Arne (Verfasser)
Organisation(en)	SpringerLink (Online service) (Sonstige)
Umfang/Format	Online-Ressource : online resource.
Persistent Identifier	URN: urn:nbn:de:101:1-2021041514412967595088 DOI: 10.1007/s10472-021-09730-w
URL	https://doi.org/10.1007/s10472-021-09730-w (Open Access)
Zeitliche Einordnung	Erscheinungsdatum: 2021
DDC-Notation	004.01 (maschinell ermittelte DDC-Kurznotation)
Sprache(n)	Englisch (eng)
Beziehungen	Enthalten in: Annals of mathematics and artificial intelligence (27.2.2021: 1-26)
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 2 von 2

Korrekturanfrage