Login / Signup

A Calculus of Inductive Linear Constructions.

Qiancheng FuHongwei Xi
Published in: TyDe@ICFP (2023)
Keyphrases
  • inductive learning
  • closed form
  • database systems
  • objective function
  • data model
  • inductive logic programming
  • linear constraints
  • computer algebra
  • database query languages