Login / Signup

Finite Limits and Anti-unification in Substitution Categories.

Wolfram Kahl
Published in: WADT (2018)
Keyphrases
  • anti unification
  • analogy making
  • higher order
  • first order logic
  • inductive learning
  • inductive logic programming
  • finite number
  • relational databases