Login / Signup

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

Mounira BelmeskZineb HabbasPhilippe Jorrand
Published in: Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Keyphrases
  • automated deduction
  • artificial intelligence
  • programming language
  • theorem proving
  • database
  • real time
  • relational databases
  • computing environments
  • formal specification
  • web services composition