DOI10.1007/978-3-642-30743-0_39zbMath1357.68040MaRDI QIDQ2900549
Kewen Wang, Yi-Dong Shen, Jia-Huai You
Publication date: 23 July 2012 Published in: Correct Reasoning (Search for Journal in Brave) Full work available at URL: http://hdl.handle.net/10072/47944
Mathematics Subject Classification ID
68Q55: Semantics in the theory of computing
68N17: Logic programming
Uses Software