Congruences on terms and unification

More works in this specialty

1. On probabilities of values of random Boolean expressions

   Yashunskiy, Aleksey Dmitrievich · 2006 · Candidate of Sciences

   • 01.01.09 Discrete mathematics and mathematical cybernetics
2. Coding of stochastic context-free languages

   Zhil'tsova, Larisa Pavlovna · 2004 · Doctor of Sciences

   • 01.01.09 Discrete mathematics and mathematical cybernetics
3. Numerical solution of optimal control problems with state constraints

   Shebaldin, Vadim Rudolfovich · 1997 · Candidate of Sciences

   • 01.01.09 Discrete mathematics and mathematical cybernetics
4. A study in bilinear programming and cluster analysis

   Barantsev, Aleksey Removich · 1997 · Candidate of Sciences

   • 01.01.09 Discrete mathematics and mathematical cybernetics
5. Two-layer contact schemes

   Zadorozhnyuk, Oleg Anatol'yevich · 1997 · Candidate of Sciences

   • 01.01.09 Discrete mathematics and mathematical cybernetics

All works in this specialty