|
|
Borlido C, Czarnetzki S, Gehrke M, Krebs A. Stone Duality and the Substitution Principle. In: Computer Science Logic.; 2017. 1. 13:p. 1-13p. :20. |
|
|
|
|
|
Almeida J, Borlido C. Complete κ-reducibility of pseudovarieties of the form DRH. International Journal of Algebra and Computation. 2017;27(2):189-235. |
|
|
|
|
|
Borlido C. The kappa-word problem over DRH. Theoretical Computer Science. 2017;702:1-22. |
|
|
|
|
|
Almeida J, Borlido C. Complete kappa-reducibility of pseudovarieties of the form DRH. International Journal of Algebra and Computation. 2017;27(02):189-236. |
|
|
|
