Schmidt and Pudlák’s Approaches to CLP

Lattice Theory: Special Topics and Applications ◽

10.1007/978-3-319-06413-0_7 ◽

2014 ◽

pp. 235-296 ◽

Cited By ~ 3

Author(s):

Friedrich Wehrung

Download Full-text