- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Ebbing, Johannes; Kontinen, Juha; Mueller, Julian-Steffen; Vollmer, Heribert: A fragment of dependence logic capturing polynomial time. In: Logical Methods in Computer Science 10 (2014), Nr. 3, 3. DOI: https://doi.org/10.2168/LMCS-10(3:3)2014
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (wann)
-
2014
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Technische Informationsbibliothek (TIB)
- (wann)
-
2014
- Urheber
-
Ebbing, Johannes
Kontinen, Juha
Mueller, Julian-Steffen
Vollmer, Heribert
- DOI
-
10.15488/1980
- URN
-
urn:nbn:de:101:1-2020072008592082514115
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Ebbing, Johannes
- Kontinen, Juha
- Mueller, Julian-Steffen
- Vollmer, Heribert
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Entstanden
- 2014
Ähnliche Objekte (12)
Continuing the Quest for a Logic Capturing Polynomial Time - Potential, Limitations, and Interplay of Current Approaches
Computational aspects of dependence logic
Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion
Dependence logic with a majority quantifier
A Simple Logic of Functional Dependence
Complexity and expressivity of dependence logic extensions
Antecedents of technological diversification: A resource dependence logic
Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy
Capturing Biological Activity in Natural Product Fragments by Chemical Synthesis
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
POLYNOMIAL-GAUSSIAN VECTORS AND POLYNOMIAL-GAUSSIAN PROCESSES
Continuing the Quest for a Logic Capturing Polynomial Time - Potential, Limitations, and Interplay of Current Approaches
Computational aspects of dependence logic
Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion
Dependence logic with a majority quantifier
A Simple Logic of Functional Dependence
Complexity and expressivity of dependence logic extensions
Antecedents of technological diversification: A resource dependence logic
Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy
Capturing Biological Activity in Natural Product Fragments by Chemical Synthesis
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
POLYNOMIAL-GAUSSIAN VECTORS AND POLYNOMIAL-GAUSSIAN PROCESSES
Continuing the Quest for a Logic Capturing Polynomial Time - Potential, Limitations, and Interplay of Current Approaches
Computational aspects of dependence logic
Capturing Polynomial Time and Logarithmic Space using Modular Decompositions and Limited Recursion
Dependence logic with a majority quantifier
A Simple Logic of Functional Dependence
Complexity and expressivity of dependence logic extensions
Antecedents of technological diversification: A resource dependence logic
Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy
Capturing Biological Activity in Natural Product Fragments by Chemical Synthesis
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic