Login / Signup

An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction.

Paris C. KanellakisGerd G. HillebrandHarry G. Mairson
Published in: ICALP (1994)
Keyphrases
  • expressive power
  • query language
  • first order logic
  • computational properties
  • relational algebra
  • data complexity
  • relational calculus
  • aggregate functions
  • machine learning
  • programming language
  • logic programs