机构:
DTU Informatics, Technical University of Denmark, Building 305, DK-2800 Lyngby, DenmarkDTU Informatics, Technical University of Denmark, Building 305, DK-2800 Lyngby, Denmark
Hansen, Michael R.
[1
]
机构:
[1] DTU Informatics, Technical University of Denmark, Building 305, DK-2800 Lyngby, Denmark
来源:
Journal of Logic and Algebraic Programming
|
2012年
/
81卷
/
04期
机构:
Technion Israel Inst Technol, Henry & Marilyn Taub Fac Comp Sci, Haifa, IsraelTechnion Israel Inst Technol, Henry & Marilyn Taub Fac Comp Sci, Haifa, Israel