Logics with aggregate operators
Hella, Lauri; Libkin, Leonid; Nurmonen, Juha; Wong, Limsoon
- 期刊名称Journal of the ACM
- 作者Hella, Lauri; Libkin, Leonid; Nurmonen, Juha; Wong, Limsoon
- 卷第48卷
- 期第4期
- 印刷ISSN0004-5411
- 文件大小315.69KB
- 发表时间2001-7-1
- DOI10.1145/502090.502100
- 页码880-907