Cache Transition Systems for Graph Parsing.

Daniel Gildea Giorgio Satta Xiaochang Peng

Published in: Comput. Linguistics (2018)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
search algorithm
natural language
random walk
control flow
reactive systems
software engineering
software systems