A closer look at termination
- 作者Shmuel Katz; Zohar Manna
- 卷第5卷
- 期第4期
- 印刷ISSN0001-5903
- 电子ISSN1432-0525
- 文件大小894.22KB
- 发表时间1975-12-9
- DOI10.1007/bf00264565
- 页码333-352
同作者推荐
Passes and paths of attribute grammarsJoost Engelfriet; Gilberto Filè · 1981
The formal power of one-visit attribute grammarsJoost Engelfriet; Gilberto Filè · 1981
Whac-A-Mole: Smart Node Positioning in Clone Attack in Wireless Sensor NetworksJaballah, Wafa Ben; Conti, Mauro; Filè, Gilberto; Mosbah, Mohamed; Zemmari, Akka · Computer Communications · 2018
[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Expressive Power of Definite Clauses for Verifying AuthenticityFilè, Gilberto; Vigo, Roberto · 2009