A Process Algebra over the Herbrand Universe: Application to Parallelism in Automated Deduction

• Authors:

• Mounira Belmesk;Zineb Habbas;Philippe Jorrand

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the International Workshop on Parallelization in Inference Systems
• Year:
• 1990