Login / Signup

Two-way cost automata and cost logics over infinite trees.

Achim BlumensathThomas ColcombetDenis KuperbergPawel ParysMichael Vanden Boom
Published in: CSL-LICS (2014)
Keyphrases
  • high cost
  • minimum cost
  • database
  • storage space
  • cost savings
  • cost reduction
  • neural network
  • machine learning
  • website