• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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