Login / Signup

Definability of Accelerated Relations in a Theory of Arrays and Its Applications.

Francesco AlbertiSilvio GhilardiNatasha Sharygina
Published in: FroCos (2013)
Keyphrases
  • finite model theory
  • theoretical framework
  • computational model
  • theoretical foundation
  • database theory
  • real world
  • search engine
  • graphical models
  • semantic relations