Journal of Logic and Computation. 2006;16(6):817-840. doi: 10.1093/logcom/exl011 Q40.72025

Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets

具有计数集合比例的量化器的逻辑的表达能力和复杂性

Arratia, A.; Ortiz, C. E.

DOI: 10.1093/logcom/exl011

期刊名：Journal of logic and computation

缩写：J LOGIC COMPUT

ISSN：0955-792X

e-ISSN：1465-363X

IF/分区：0.7/Q4

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：