In the process, we generalize nominal sets due to Gabbay and Pitts. Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL).
確定! 回上一頁