Suche

Filter

Verwenden Sie Filter, um die Suchergebnisse zu verfeinern.

Anzeige der Dokumente 1-1 von 1

Backdoors for linear temporal logic

Meier, Arne; Ordyniak, Sebastian; Sridharan, Ramanujan; Schindler, Irena (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2017)

Anzeige der Dokumente 1-1 von 1

Autor/in
- Meier, Arne (1)
- Ordyniak, Sebastian (1)
- Schindler, Irena (1)
- Sridharan, Ramanujan (1)
Schlagwort
- Backdoor detections (1)
- Backdoor sets (1)
- Backdoors (1)
- Computer circuits (1)
- Formal logic (1)
- Horn formulas (1)
- Konferenzschrift (1)
- Linear temporal logic (1)
- Parameter estimation (1)
- Parameterization (1)
- ... mehr
Erscheinungsdatum
- 2017 (1)
Sprache (ISO)
- eng (1)