- On the Complexity of the Conditional Independence Implication Problem with Bounded Cardinalities Michał Makowski Wed 12 March 2025
- On the Space and Circuit Complexity of Parameterized Problems: Classes and Completeness Michael Elberfeld Christoph Stockhusen Till Tantau Sat 16 July 2022
- Complete Abstractions for Checking Language Inclusion Pierre Ganty Francesco Ranzato Pedro Valero Sun 24 October 2021
- Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties Jun Liu Mon 17 May 2021
- Intuitionistic completeness of first-order logic Robert Constable Mark Bickford Mon 07 September 2020
- For completeness, sublogarithmic space is no space Manindra Agrawal Fri 07 February 2020
- Duality in Logic and Computation Prakash Panangaden Mon 26 December 2016
- The Complexity of Membership Problems for Circuits over Sets of Integers Stephen Travers Tue 27 January 2015
Library Size: 13G (8 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
