Prefix classes of Krom formulas
From MaRDI portal
Publication:4090321
DOI10.2307/2271987zbMath0326.02035MaRDI QIDQ4090321
Publication date: 1974
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271987
Related Items
The complexity of the satisfiability problem for Krom formulas, Prefix classes of krom formulae with identity
Cites Work