| |
articol de periodic |
1968 |
Revue de Mathematiques Pures et Appliquees, xiii-8 |
RUS, T. (autor)
|
On the recursivity of the formalited languages |
|
1159-1172 |
|
| |
articol de periodic |
1964 |
Studii și Cercetări Matematice, 15-4 |
RUS, T. (autor)
|
Asupra unui sistem formal (I) |
|
459-470 |
|
| |
articol de periodic |
1964 |
Studii și Cercetări Matematice, 15-5 |
RUS, T. (autor)
|
Asupra unui sistem formal (II) |
|
595-615 |
|
| |
articol de periodic |
1964 |
Studii și Cercetări Matematice, 16-9 |
RUS, T. (autor)
|
Algoritmi de prelucrare a expresiilor formale cu ajutorul milinilor cifrice de calcul |
|
1129-1139 |
|
| |
articol de periodic |
1965 |
Studii și Cercetări Matematice, 17-10 |
RUS, T. (autor)
|
Algotitmul de simplificare a expresiilor algebrice raționale cu ajutorul mașinilor cifrice de calcul |
|
1489- |
|
| |
articol de periodic |
1965 |
Studii și Cercetări Matematice, 17-9 |
RUS, T. (autor)
|
Echivalența schermelor explicite și a arborilor |
|
1405- |
|
| |
articol de periodic |
1966 |
Studii și Cercetări Matematice, 18-6 |
RUS, T. (autor)
|
Interpretor pentru mașina DACICC-1 |
|
799-815 |
|
