Items where Author / Artist / Editor is "Roşu, Grigore"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.

Article

Popescu, Andrei and Roşu, Grigore (2015) Term-generic logic. Theoretical Computer Science, 577 . pp. 1-24. ISSN 0304-3975 (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 (doi:10.1016/j.tcs.2008.09.038)

This list was generated on Fri Dec 6 05:09:27 2019 GMT.