Unfolding for CHR programs
- 期刊名称Theory and Practice of Logic Programming
- 作者GABBRIELLI, MAURIZIO; MEO, MARIA CHIARA; TACCHELLA, PAOLO; WIKLICKY, HERBERT
- 卷第15卷
- 期第3期
- 印刷ISSN1471-0684
- 电子ISSN1475-3081
- 文件大小476.26KB
- 发表时间2015-05
- DOI10.1017/S1471068413000288
- 页码264-311
同作者推荐
James Watt and his linkagesSangamesh R. Deepak; G. K. Ananthasuresh · 2009
ClassicsG. K. Ananthasuresh · 2011
Nothing is blueG. K. Ananthasuresh · 2011
EditorialAnanthasuresh, G. K. · 2012
Design of Distributed Compliant MechanismsYin, Luzhong; Ananthasuresh, G. K. · Mechanics Based Design of Structures and Machines · 2003
PrefaceAnanthasuresh, G. K. · Mechanics Based Design of Structures and Machines · 2014
Editor’s deskAnanthasuresh, G. K. · Journal of the Indian Institute of Science · 2018
Editor’s DeskAnanthasuresh, G. K. · Journal of the Indian Institute of Science · 2019