On the Quantifier-Free Dynamic Complexity of Reachability
From MaRDI portal
Publication:2849966
DOI10.1007/978-3-642-40313-2_73zbMath1371.68063arXiv1306.3056OpenAlexW2570673476MaRDI QIDQ2849966
Thomas Schwentick, Thomas Zeume
Publication date: 20 September 2013
Published in: Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1306.3056
Related Items (2)
This page was built for publication: On the Quantifier-Free Dynamic Complexity of Reachability
