1. Krivoĭ, S. L.: On the computation of congruent closures on terms
| Title | Krivoĭ, S. L.: On the computation of congruent closures on terms |
|---|---|
| Author info | Miroslav Haviar |
| Author | Haviar Miroslav 1965- (100%) UMBFP10 - Katedra matematiky |
| Source document | MathSciNet : Mathematical Reviews on the web. online, MR1609197 (99c:08002), pp. [1-2]. - Providence : American Mathematical Society, 1999 |
| Review document | On the computation of congruent closures on terms / S. L. Krivoĭ. - Kiev : Natsional′naya Akademiya Nauk Ukrainy, 1997 |
| Keywords | matematika - mathematics recenzie - reviews |
| Language | English |
| Country | United States of America |
| systematics | 51 |
| Public work category | EDI |
| No. of Archival Copy | 43320 |
| Catal.org. | BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici |
| Database | xpca - PUBLIKAČNÁ ČINNOSŤ |