- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Hannula, M.; Kontinen, J.; Lück, M.; Virtema, J.: On the complexity of horn and krom fragments of second-order boolean logic. In: Baier, Christel; Goubault-Larrecq, Jean (Eds.): 29th EACSL Annual Conference on Computer Science Logic : CSL 2021. Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2021 (Leibniz International Proceedings in Informatics (LIPIcs) ; 183), 27. DOI: https://doi.org/10.4230/lipics.csl.2021.27
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (when)
-
2021
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Technische Informationsbibliothek (TIB)
- (when)
-
2021
- Creator
-
Hannula, Miika
Kontinen, Juha
Lück, Martin
Virtema, Jonni
- DOI
-
10.15488/16492
- URN
-
urn:nbn:de:101:1-2024031401182931415306
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:46 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Hannula, Miika
- Kontinen, Juha
- Lück, Martin
- Virtema, Jonni
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Time of origin
- 2021
Other Objects (12)
Logic synthesis with Boolean model
The complexity of Boolean functions
Logic programming with pseudo-Boolean constraints
Boolean Connexive Logic and Content Relationship
Proof Complexity of Quantified Boolean Formulas
Complexity of Boolean functions : 31.10.1999 - 05.11.1999
Complexity of Boolean functions : 10.03. - 14.03.97
Boolean function complexity : advances and frontiers
On the Complexity of Boolean Unification
Existential second-order logic over strings
Memristive Stateful Logic for Edge Boolean Computers
Logic and complexity
Logic synthesis with Boolean model
The complexity of Boolean functions
Logic programming with pseudo-Boolean constraints
Boolean Connexive Logic and Content Relationship
Proof Complexity of Quantified Boolean Formulas
Complexity of Boolean functions : 31.10.1999 - 05.11.1999
Complexity of Boolean functions : 10.03. - 14.03.97
Boolean function complexity : advances and frontiers
On the Complexity of Boolean Unification
Existential second-order logic over strings
Memristive Stateful Logic for Edge Boolean Computers
Logic and complexity
Logic synthesis with Boolean model
The complexity of Boolean functions
Logic programming with pseudo-Boolean constraints
Boolean Connexive Logic and Content Relationship
Proof Complexity of Quantified Boolean Formulas
Complexity of Boolean functions : 31.10.1999 - 05.11.1999
Complexity of Boolean functions : 10.03. - 14.03.97
Boolean function complexity : advances and frontiers
On the Complexity of Boolean Unification
Existential second-order logic over strings
Memristive Stateful Logic for Edge Boolean Computers