Search

Filters

Use filters to refine the search results.

Now showing items 1-1 of 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)

Now showing items 1-1 of 1

Author
- Hannula, Miika (1)
- Kontinen, Juha (1)
- Lück, Martin (1)
- Virtema, Jonni (1)
Subject
- 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)
- ... View More
Date Issued
- 2016 (1)
Language (ISO)
- eng (1)