NP-Logic Systems and Model-Equivalence Reductions
Yu-Ping Shen, Xi-Shun ZhaoVolume:
25
Language:
english
Pages:
6
DOI:
10.1007/s11390-010-9408-z
Date:
November, 2010
File:
PDF, 259 KB
english, 2010