Monadic simultaneous rigid E-unification
- 作者Yuri Gurevich; Andrei Voronkov
- 卷第222卷
- 印刷ISSN0304-3975
- 文件大小997.70KB
- 发表时间1999
- DOI10.1016/s0304-3975(98)00123-6
- 页码133-152
The Social Ecology of Adolescent Alcohol MisuseSusan T. Ennett, Robert Faris, Vangie A. Foshee, Karl E. Bauman, Andrea Hussong, Li Cai, Heathe Luz, McNaughton Reyes, John Hipp and Robert DuRant · Child Development · 2008
The Social Ecology of Adolescent Alcohol MisuseSusan T. Ennett; Vangie A. Foshee; Karl E. Bauman; Andrea Hussong; Li Cai; Heathe Luz McNaughton Reyes; Robert Faris; John Hipp; Robert DuRant · 2008
The folded treeArthur W. Burks; Robert McNaughton; Carl H. Pollmar; Don W. Warren; Jesse B. Wright · 1955
The folded treeArthur W. Burks; Robert McNaughton; Carl H. Pollmar; Don W. Warren; Jesse B. Wright · 1955
The Burnside problem for semigroupsRobert McNaughton; Yechezkel Zalcstein · Journal of Algebra · 1975
Infinite games played on finite graphsRobert McNaughton · 1993
The loop complexity of regular eventsRobert Mcnaughton · 1969
The finiteness of finitely presented monoidsRobert McNaughton · 1998