Diff for "Publications" - RESEARCH @ info.uvt.ro

Differences between revisions 47 and 48

Previous years:

Recent Publications

Eraşcu, M., Hong, H., Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation), Journal of Symbolic Computation 75, pp. 110-126, 2016

Drămnesc, I., Jebelean, T., Stratulat, S., Proof–based synthesis of sorting algorithms for trees, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9618, pp. 562-575, 2016

-  ⇤ ← Revision 47 as of 2016-04-22 09:22:24 → 
  Size: 729
  Editor: DanielaZaharie
  Comment:
+   ← Revision 48 as of 2016-04-22 09:34:34 → ⇥
  Size: 926
  Editor: DanielaZaharie
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 8:
+ *  Eraşcu, M., Hong, H., Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation), Journal of Symbolic Computation 75, pp. 110-126, 2016
 Line 15:
-*  Drămnesc, I., Jebelean, T., Stratulat, S., Proof–based synthesis of sorting algorithms for trees, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9618, pp. 562-575, 2016
+ * Drămnesc, I., Jebelean, T., Stratulat, S., Proof–based synthesis of sorting algorithms for trees, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9618, pp. 562-575, 2016