Căutare Avansată

Lista completă a publicațiilor          Lista completă a contributorilor

Criterii căutate

• Realizator: ARUSOAIE, Andrei

---

Sumarul căutării

• 1 articol

102550100

• 1

	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

• 1