Login / Signup

Sequential Composition in the Presence of Intermediate Termination (Extended Abstract).

Jos C. M. BaetenBas LuttikFei Yang
Published in: EXPRESS/SOS (2017)
Keyphrases
  • extended abstract
  • multiscale
  • computer vision
  • term rewriting
  • data sets
  • neural network
  • real world
  • search engine
  • search algorithm
  • digital libraries
  • sequential data
  • intermediate level