Worst Case Exponential Lower Bounds for Input Resolution with Paramodulation

From MaRDI portal
Publication:3944041

DOI10.1137/0209008zbMath0484.68071OpenAlexW2025712536MaRDI QIDQ3944041

Richard Statman

Publication date: 1980

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0209008


zbMATH Keywords

nondeterministic pushdown stack automatasets of unit clauses


Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (1)

A simplified problem reduction format




This page was built for publication: Worst Case Exponential Lower Bounds for Input Resolution with Paramodulation

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3944041&oldid=17636124"
Powered by MediaWiki