Lista completă a publicaţiilor
Criterii căutate
- Realizator: ARUSOAIE, Andrei
Sumarul căutării
- 1 articol
| Tip | Anul | Publicație și Volum/Nr. | Realizatori | Titlul articolui | Secțiunea | Pagina | Limba | |
|---|---|---|---|---|---|---|---|---|
| articol de periodic | 2017 | Revue Roumaine de Mathematiques Pures et Appliquees, lxii-1 | ARUSOAIE, Andrei (autor) , CIOBĂCĂ, Ștefan (autor) , LUCANU, Dorel (autor) , ROȘU, Grigore (autor) , RUSU, Vlad (autor) , ȘERBĂNUȚĂ, Traian (autor) | Program logics and their applications | 137-154 |
| Publicația | Realizatori | Publicată de | Contributori | Domenii | Tip | Nr. volume |
|---|