Login / Signup
Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes.
Wojciech Czerwinski
Piotr Hofman
Slawomir Lasota
Published in:
Theory Comput. Syst. (2014)
Keyphrases
</>
context free
context dependent
context sensitive
grammatical inference
context free languages
grammar rules
finite state
inductive inference
graph grammars
attribute grammars
context free grammars
computational models
structured data