On clones, transformation monoids and finite Boolean algebras
(2001)
Journal Article
Krokhin, A. (2001). On clones, transformation monoids and finite Boolean algebras. Algebra Universalis, 46(1-2), 231-236
Outputs (21)
Congruences of clone lattices, II (2001)
Journal Article
Krokhin, A. (2001). Congruences of clone lattices, II. Order, 18(2), 151-159
On clones preserving a reflexive binary relation (2001)
Journal Article
Krokhin, A., & Schweigert, D. (2001). On clones preserving a reflexive binary relation. Acta scientiarum mathematicarum, 67(3-4), 461-473
Towards a framework to effective web-based distributed learning (2001)
Journal Article
Brailsford, T. J., Moore, A., Stewart, C. D., Zakaria, M. R., Choo, B. S., & Davies, P. (2001). Towards a framework to effective web-based distributed learning
Object languages in a type-theoretic meta-framework (2001)
Conference Proceeding
Callaghan, P., Luo, Z., & Pang, J. (2001). Object languages in a type-theoretic meta-framework.This paper concerns techniques for providing a convenient syntax for object languages implemented via a type-theoretic Logical Framework, and reports on work in progress. We first motivate the need for a type-theoretic logical framework. Firstly, we... Read More about Object languages in a type-theoretic meta-framework.
On the structure of clone lattices, II (2001)
Conference Proceeding
Bulatov, A., Krokhin, A., Safin, K., Semigrodskikh, A., & Sukhanov, E. (2001). On the structure of clone lattices, II.
A complete classification of complexity in Allen's algebrain the presence of a non-trivial basic relation (2001)
Conference Proceeding
Krokhin, A., Jeavons, P., & Jonsson, P. (2001). A complete classification of complexity in Allen's algebrain the presence of a non-trivial basic relation. In B. Nebel (Ed.),
Using Model Checking for Pre-Planning Analysis (2001)
Conference Proceeding
Fox, M., Long, D., Bradley, S., & McKinna, J. (2001). Using Model Checking for Pre-Planning Analysis.
The natural work-stealing algorithm is stable (2001)
Conference Proceeding
Berenbrink, P., Friedetzky, T., & Goldberg, L. (2001). The natural work-stealing algorithm is stable. . https://doi.org/10.1109/sfcs.2001.959892
Personally tailored teaching in WHURLE using conditional transclusion (2001)
Conference Proceeding
Moore, A., Brailsford, T. J., & Stewart, C. D. (2001). Personally tailored teaching in WHURLE using conditional transclusion.