On the power of deterministic transitive closures
From MaRDI portal
Publication:1893732
DOI10.1006/inco.1995.1081zbMath0832.68098OpenAlexW2036801664MaRDI QIDQ1893732
Erich Grädel, Gregory Loren McColm
Publication date: 1 August 1995
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/aa908e28af98e7c54592022680faef4b473bd69b
Graph theory (including graph drawing) in computer science (68R10) Logic in artificial intelligence (68T27)
Related Items