Parallel symbolic computation in ACE

DOI10.1023/A:1018929805694MaRDI QIDQ1376096zbMATH OpenFDO

Authors Enrico Pontelli, Gopal Gupta, Gopal Gupta

Publication date 9 June 1998

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1018929805694

zbMATH Keywords

ACE systemProlog

Mathematics Subject Classification ID

Logic programming (68N17) Symbolic computation and algebraic computation (68W30)

Recommendations

• Parallel symbolic processing in REFAL
• High performance symbolic computing
• scientific article; zbMATH DE number 1972791
• scientific article; zbMATH DE number 4045106
• scientific article; zbMATH DE number 1254022
• scientific article; zbMATH DE number 830853
• scientific article; zbMATH DE number 4011943
• scientific article; zbMATH DE number 2090576

Cited in

(5)

• ACE: An associative calculus data structure
• scientific article; zbMATH DE number 1254022 (Why is no real title available?)
• scientific article; zbMATH DE number 512896 (Why is no real title available?)
• scientific article; zbMATH DE number 953543 (Why is no real title available?)
• Parallel Logic Programming: A Sequel

This page was built for publication: Parallel symbolic computation in ACE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1376096)