Euro-Par 2004 Parallel Processing

DOI10.1007/b99409zbMath1096.68584OpenAlexW2477312825MaRDI QIDQ5311419

Fernando Silva, Vitor Costa, Ricardo Rocha

Publication date: 23 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b99409

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• XSB
• OPTYap