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- UMBFP10 - Katedra matematiky
    Source documentMathSciNet : Mathematical Reviews on the web. online, MR1609197 (99c:08002), pp. [1-2]. - Providence : American Mathematical Society, 1999
    Databasexpca - PUBLIKAČNÁ ČINNOSŤ
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    article

    article

Number of the records: 1  

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