Abstract: Higher-order recursion schemes (HORS), which are higher-order grammars for generating infinite trees, have recently been studied extensively in the context of model checking and its ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback