Login / Signup
Two-way cost automata and cost logics over infinite trees.
Achim Blumensath
Thomas Colcombet
Denis Kuperberg
Pawel Parys
Michael Vanden Boom
Published in:
CSL-LICS (2014)
Keyphrases
</>
high cost
minimum cost
database
storage space
cost savings
cost reduction
neural network
machine learning
website