Cooperative Query Answering by Abstract Interpretation
From MaRDI portal
Publication:3075526
DOI10.1007/978-3-642-18381-2_24zbMath1298.68076OpenAlexW1511371878MaRDI QIDQ3075526
Publication date: 15 February 2011
Published in: SOFSEM 2011: Theory and Practice of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-18381-2_24
Related Items
Cites Work