A complete inference sytem for regular processes with silent moves

DSpace/Manakin Repository

Bergstra, J.A.; Klop, J.W.

(1988) Studies in logic and the foundations of mathematics, volume 124, pp. 21 - 81

(Article in proceedings)

Download/Full Text

Publisher: Elsevier Science Publishers bv

See more statistics about this item