Results 251 to 260 of about 26,068 (292)
Some of the next articles are maybe not open access.
A short proof of the decidability of bisimulation for normed bpa-processes
Information Processing Letters, 1992Jan Friso Groote
exaly
Some decidability problems of sentential formst †
International Journal of Computer Mathematics, 1979Tero Harju
exaly
Decidability of opacity verification problems in labeled Petri net systems
Automatica, 2017Yin Tong, Zhiwu Li, Carla Seatzu
exaly

