On the synthesis and complexity of formulae with bounded depth of alternation

From MaRDI portal
Publication:1759151

DOI10.3103/S0278641912020021zbMATH Open1258.94054MaRDI QIDQ1759151FDOQ1759151


Authors: Xianqiang Yang Edit this on Wikidata


Publication date: 20 November 2012

Published in: Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)





Recommendations




Cites Work


Cited In (8)





This page was built for publication: On the synthesis and complexity of formulae with bounded depth of alternation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1759151)