Dữ liệu bài báo khoa học
Một số phương pháp xác định mô hình của chương trình Datalog và mở rộng của nó
Báo cáo Khoa học tại Hội nghị Khoa học Quốc gia và Quốc tế chuyên ngành Tin học đăng toàn văn trong Kỷ yếu (Proceedings) hội nghị có phản biện khoa học,
1998
Lĩnh vực: KHOA HỌC MÁY TÍNH VÀ THÔNG TIN
Danh mục: HĐCDGS
Tác giả:
Lê Mạnh Thạnh
Phương pháp xếp tầng trong việc xác định ngữ nghĩa của các chương trình Datalog
Thông báo khoa học, Trường Đại học Khoa học,
1998
Lĩnh vực: KHOA HỌC MÁY TÍNH VÀ THÔNG TIN
Danh mục: Khác
Tác giả:
Lê Mạnh Thạnh
Lý thuyết điểm bất động trong CSDL suy dẫn
Tạp chí Tin học và Điều khiển học/Journal of Computer Science and Cybernetics,
1998
Lĩnh vực: KHOA HỌC MÁY TÍNH VÀ THÔNG TIN
Danh mục: ACI
Tác giả:
Lê Mạnh Thạnh