Login / Signup
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt.
Luca Aceto
Silvio Capobianco
Published in:
Bull. EATCS (2008)
Keyphrases
</>
data sets
neural network
machine learning
video sequences
finite automata
artificial intelligence
case study
image sequences
multi agent
sufficient conditions