Suche

Filter

Verwenden Sie Filter, um die Suchergebnisse zu verfeinern.

Anzeige der Dokumente 1-1 von 1

On quantified propositional logics and the exponential time hierarchy

Hannula, Miika; Kontinen, Juha; Lück, Martin; Virtema, Jonni (Waterloo, NSW : Open Publishing Association, 2016)

Anzeige der Dokumente 1-1 von 1

Autor/in
- Hannula, Miika (1)
- Kontinen, Juha (1)
- Lück, Martin (1)
- Virtema, Jonni (1)
Schlagwort
- Automata theory (1)
- Boolean algebra (1)
- Boolean functions (1)
- Computer circuits (1)
- Dependence logic (1)
- Exponential time (1)
- Formal logic (1)
- Formal verification (1)
- Propositional logic (1)
- Quantified Boolean formulas (1)
- ... mehr
Erscheinungsdatum
- 2016 (1)
Sprache (ISO)
- eng (1)