CCS的可决定子集

瑟伦·克里斯滕森,约拉姆·赫什菲尔德,法伦·莫勒.CCS的可决定子集.计算。J。, 37(4):233-242,1994

摘要

缺少摘要。