摘要

We prove a generalization of Promel's theorem to finite structures with both relations and functions.

  • 出版日期2010-8