Login / Signup

Efficient FixPoint Computation.

Bart VergauwenJ. WaumanJohan Lewi
Published in: SAS (1994)
Keyphrases
  • fixpoint
  • logic programs
  • deductive databases
  • expert systems
  • artificial intelligence
  • hidden markov models
  • database management systems
  • proof theoretic