Path dependent analysis of logic programs
From MaRDI portal
Publication:1426866
DOI10.1023/A:1025824903683zbMath1074.68009MaRDI QIDQ1426866
Publication date: 15 March 2004
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1025824903683
68N17: Logic programming
Related Items