Abstract: Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly developing ...
Abstract: Given two pushdown automata, the bisimilarity problem asks whether the infinite transition systems they induce are bisimilar. While this problem is known to be decidable our main result ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback