> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Sonderdruck Titel: Parameterised complexity of model checking and satisfiability in propositional dependence logic Beteiligte: Mahmood, Yasir [Verfasser:in]; Meier, Arne [Verfasser:in] Erschienen: Hannover: Gottfried Wilhelm Leibniz Universität Hannover, 2021 Hannover: Technische Informationsbibliothek (TIB), 2021 Erschienen in: Annals of mathematics and artificial intelligence ; 90 (2022), Nr. 2-3, S. 271-296 Umfang: 1 Online-Ressource Sprache: Englisch DOI: 10.15488/12823 Identifikator: Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang