Preservative Translations between Logical Systems

Intelligent Information Processing V - IFIP Advances in Information and Communication Technology ◽

10.1007/978-3-642-16327-2_10 ◽

2010 ◽

pp. 55-63

Author(s):

Yuming Shen ◽

Yue Ma ◽

Cungen Cao ◽

Yuefei Sui ◽

Ju Wang

Download Full-text