Krivoĭ, S. L.: On the computation of congruent closures on terms

Haviar, Miroslav, 1965- Krivoĭ, S. L.: On the computation of congruent closures on terms / Miroslav Haviar - Recenzia na: On the computation of congruent closures on terms / Krivoĭ, S. L.. -- Kiev : Natsional′naya Akademiya Nauk Ukrainy, 1997. -- ISSN 0023-1274. -- Kibernetika i Sistemnyĭ Analiz, no. 4 (1997), pp. 121-133

In MathSciNet : Mathematical Reviews on the web. -- Providence : American Mathematical Society, 1999. -- ISSN 2167-5163. -- online, MR1609197 (99c:08002), pp. [1-2]

1. matematika 2. recenzie

I. MathSciNet : Mathematical Reviews on the web. -- online, MR1609197 (99c:08002), pp. [1-2]

51
BB301