Sign in

Logics for Extensional, Locally Complete Analysis via Domain Refinements.

Flavio AscariRoberto BruniRoberta Gori
Published in: ESOP (2023)
Keyphrases
  • data sets
  • neural network
  • expressive power
  • relational databases
  • np complete
  • statistical analysis