scientific article

zbMath1174.03321MaRDI QIDQ3609625

Ying-Ying Fu, Maonian Wu, Fuxing Shen

Publication date: 6 March 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

quantifier eliminationcomplete binary treecomplete \(k\)-ary treecomplete infinitary tree

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10)