Number of the records: 1  

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

  1. TitleKrivoĭ, S. L.: On the computation of congruent closures on terms
    Author infoMiroslav Haviar
    Author Haviar Miroslav 1965- (100%) UMBFP10 - Katedra matematiky
    Source documentMathSciNet : Mathematical Reviews on the web. online, MR1609197 (99c:08002), pp. [1-2]. - Providence : American Mathematical Society, 1999
    Review documentOn the computation of congruent closures on terms / S. L. Krivoĭ. - Kiev : Natsional′naya Akademiya Nauk Ukrainy, 1997
    Keywords matematika - mathematics   recenzie - reviews  
    LanguageEnglish
    CountryUnited States of America
    systematics 51
    Public work category EDI
    No. of Archival Copy43320
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexpca - PUBLIKAČNÁ ČINNOSŤ
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.