On a quasi-ordering on Boolean functions
From MaRDI portal
Publication:924135
DOI10.1016/j.tcs.2008.01.025zbMath1143.06005arXivmath/0601218MaRDI QIDQ924135
Maurice Pouzet, Miguel Couceiro
Publication date: 28 May 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0601218
minor; Boolean function; linear function; equational class; essential variable; quasi-order; relational constraint
06E30: Boolean functions