> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy Beteiligte: Döcker, Janosch [Verfasser:in] Erschienen: Tübingen: Universitätsbibliothek Tübingen, 2021 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Logic ; Phylogeny ; Berechnungskomplexität ; Entscheidungsproblem ; Phylogenetik ; Aussagenlogik ; Boolesche Formel ; Erfüllbarkeitsproblem ; Polynomialzeithierarchie ; Polynomial hierarchy Entstehung: Hochschulschrift: Dissertation, Tübingen, Universität Tübingen, 2021 Anmerkungen: Zugangsstatus: Freier Zugang