登入選單

返回Google圖書搜尋

The Emptiness Problem is Undecidable for Domains of Partial Monadic 2-modular Tree Transformations

Fülöp Zoltán

出版	Elsevier, 1990
URL	http://books.google.com.hk/books?id=ZCfpsgEACAAJ&hl=&source=gbs_api