Congruences of clone lattices, II
(2001)
Journal Article
Krokhin, A. (2001). Congruences of clone lattices, II. Order, 18(2), 151-159
Outputs (3144)
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
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
Personally tailored teaching in WHURLE using conditional transclusion (2001)
Presentation / Conference Contribution
Moore, A., Brailsford, T. J., & Stewart, C. D. (2001, December). Personally tailored teaching in WHURLE using conditional transclusion. Presented at Proceedings of the 12th ACM conference on Hypertext and Hypermedia ACM
The natural work-stealing algorithm is stable (2001)
Presentation / Conference Contribution
Berenbrink, P., Friedetzky, T., & Goldberg, L. (2001, December). The natural work-stealing algorithm is stable. Presented at Proceedings 2001 IEEE International Conference on Foundations of Computer Science
Using Model Checking for Pre-Planning Analysis (2001)
Presentation / Conference Contribution
Fox, M., Long, D., Bradley, S., & McKinna, J. (2001, December). Using Model Checking for Pre-Planning Analysis. Presented at AAAI Symposium on Model-based Validation of Intelligence
A complete classification of complexity in Allen's algebrain the presence of a non-trivial basic relation (2001)
Presentation / Conference Contribution
Krokhin, A., Jeavons, P., & Jonsson, P. (2001, December). A complete classification of complexity in Allen's algebrain the presence of a non-trivial basic relation. Presented at 17th International Joint Conference on Artificial Intelligence, {(IJCAI'01)
On the structure of clone lattices, II (2001)
Presentation / Conference Contribution
Bulatov, A., Krokhin, A., Safin, K., Semigrodskikh, A., & Sukhanov, E. (2001, December). On the structure of clone lattices, II
Object languages in a type-theoretic meta-framework (2001)
Presentation / Conference Contribution
Callaghan, P., Luo, Z., & Pang, J. (2001, June). Object languages in a type-theoretic meta-framework. Presented at Proof Transformation and Presentation and Proof Complexities Workshop : PTP'01., Siena, ItalyThis 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.
Generalized partition testing via Bayes linear methods (2001)
Journal Article
Coolen, F., Goldstein, M., & Munro, M. (2001). Generalized partition testing via Bayes linear methods. Information and Software Technology, 43(13), 783-793. https://doi.org/10.1016/s0950-5849%2801%2900185-9This paper explores the use of Bayes linear methods related to partition testing for software. If a partition of the input domain has been defined, the method works without the assumption of homogeneous (revealing) subdomains, and also includes the p... Read More about Generalized partition testing via Bayes linear methods.