Quản lý mật khẩu thư điện tử

Tạp chí Khoa học Đại học Huế: Khoa học Tự nhiên/Hue University Journal of Science: Natural Science, 2000
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, Nicolas Malbranche, Võ Viết Minh Nhật, Hoàng Hữu Hạnh

An Efficient Semi-Naive Algorithm for Datalog

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, 1999
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

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