Classifying the complexity of constraints using finite algebras

Chi tiết về thư mục
Những tác giả chính: Bulatov, A, Jeavons, P, Krokhin, A
Định dạng: Journal article
Được phát hành: 2005