Login / Signup

Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.

Gilles DowekMurdoch James GabbayDominic P. Mulligan
Published in: CoRR (2023)
Keyphrases
  • neural network
  • higher order
  • real time
  • data sets
  • computer vision
  • image processing
  • web services
  • database systems
  • image sequences
  • objective function
  • relational databases