An algorithm for reduction of complexity of relations in a system of variables

Previous | Up | Next

Article

An algorithm for reduction of complexity of relations in a system of variables. (English). Aplikace matematiky, vol. 22 (1977), issue 6, pp. 418-424

MSC: 68W99 | Zbl 0391.68023

References:

[1] J. Raichl: Programming for Computers. (Czech). Academia, Praha 1974.

[2] L. Beran: Groups and Lattices. (Czech). SNTL, Praha 1974. MR 0422393 | Zbl 0379.06001

Partner of