DOI10.1007/11591191_9zbMath1143.68350MaRDI QIDQ5387833
Gopalan Nadathur, Xiaochu Qi
Publication date: 27 May 2008 Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/11591191_9
Mathematics Subject Classification ID
68N15: Theory of programming languages
68N17: Logic programming
Related Items