Items where Author / Artist / Editor is "Roşu, Grigore"
 | See full list of headings |
Group by: Item Type | No Grouping
Number of items: 2.
Popescu, Andrei and Roşu, Grigore (2015) Term-generic logic. Theoretical Computer Science, 577 . pp. 1-24. ISSN 0304-3975 [Article] (doi:10.1016/j.tcs.2015.01.047)
Popescu, Andrei, Şerbănuţă, Traian Florin and Roşu, Grigore (2009) A semantic approach to interpolation. Theoretical Computer Science, 410 (12-13) . pp. 1109-1128. ISSN 0304-3975 [Article] (doi:10.1016/j.tcs.2008.09.038)
