Ghi lại trích dẫn
Trích dẫn kiểu APA (xuất bản lần thứ 7)
Dreyer, D., Ahmed, A., & Birkedal, L. (2011). Logical Step-Indexed Logical Relations. Logical Methods in Computer Science e.V.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
Dreyer, Derek, Amal Ahmed, và Lars Birkedal. Logical Step-Indexed Logical Relations. Logical Methods in Computer Science e.V, 2011.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
Dreyer, Derek, et al. Logical Step-Indexed Logical Relations. Logical Methods in Computer Science e.V, 2011.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.