Login / Signup

Datalog Relaunched: Simulation Unification and Value Invention.

François BryTim FurcheClemens LeyBruno MarnetteBenedikt LinseSebastian Schaffert
Published in: Datalog (2010)
Keyphrases
  • expressive power
  • mathematical model
  • databases
  • query answering
  • theorem proving
  • query language
  • datalog programs
  • genetic algorithm
  • higher order
  • numerical simulations
  • mathematical models