Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Jump to: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences

Number of items: 1.

Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences

Chen, Hubie and Dalmau, V. (2016) Decomposing quantified conjunctive (or disjunctive) formulas. SIAM Journal on Computing 45 (6), pp. 2066-2086. ISSN 0097-5397.

This list was generated on Thu Sep 18 01:56:15 2025 BST.