Semantic synthesis of programs by matching compositions. (English)
Program. Comput. Software 13, No.6, 243-253 (1987); translation from Programmirovanie 1987, No.6, 14-27 (1987).
1
On the lattice of the stones of a graph. (English)
J. Comb. Inf. Syst. Sci. 5, 134-140 (1980).
2
Start
Contact
Print
General Help
