登入選單
返回Google圖書搜尋
An Operational Characterization of Graph Languages Definable in Monadic Second-order Logic
J. Engelfriet
出版Rijksuniversiteit Leiden. Vakgroep Informatica, 1989
URLhttp://books.google.com.hk/books?id=iDItrgEACAAJ&hl=&source=gbs_api