| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Alexander Serebrenik Frédéric Mesnard , Alexander Serebrenik: Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003 Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium) 2003 Alexander Serebrenik: Termination Analysis of Logic Programs: Extended Abstract. ICLP 2003 : 507-508 Alexander Serebrenik, Bart Demoen : Refactoring Logic Programs: Extended Abstract. ICLP 2003 : 509-510 Alexander Serebrenik, Danny De Schreye : Hasta-La-Vista: Termination Analyser for Logic Programs. WLPE 2003 : 60-74 Danny De Schreye , Alexander Serebrenik: Acceptability with General Orderings. Computational Logic: Logic Programming and Beyond 2002 : 187-210 Alexander Serebrenik, Danny De Schreye : On Termination of Logic Programs with Floating Point Computations. SAS 2002 : 151-164 Sara Cohen , Yaron Kanza , Yakov A. Kogan , Yehoshua Sagiv , Werner Nutt , Alexander Serebrenik: EquiX - A search and query language for XML. JASIST 53 (6): 454-466 (2002) Alexander Serebrenik, Danny De Schreye : On Termination of Meta-Programs. LPAR 2001 : 517-530 Alexander Serebrenik, Danny De Schreye : Inference of Termination Conditions for Numerical Loops in Prolog. LPAR 2001 : 654-668 Nachum Dershowitz , Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik: A General Framework for Automatic Termination Analysis of Logic Programs. Appl. Algebra Eng. Commun. Comput. 12 (1/2): 117-156 (2001) Sara Cohen , Werner Nutt , Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views. ADBIS-DASFAA 2000 : 65-78 Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt , Yehoshua Sagiv , Alexander Serebrenik: Combining the Power of Searching and Querying. CoopIS 2000 : 54-65 Alexander Serebrenik, Danny De Schreye : Non-tranformational termination analysis of logic programs, based on general term-orderings. LOPSTR 2000 Alexander Serebrenik, Danny De Schreye : Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. LOPSTR (LNCS 2042: Selected Papers) 2000 : 69-85 Sara Cohen , Werner Nutt , Alexander Serebrenik: Algorithms for Rewriting Aggregate Queries Using Views. DMDW 1999 : 9 Sara Cohen , Werner Nutt , Alexander Serebrenik: Rewriting Aggregate Queries Using Views. PODS 1999 : 155-166 Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt , Yehoshua Sagiv , Alexander Serebrenik: EquiX Easy Querying in XML Databases. WebDB (Informal Proceedings) 1999 : 43-48 Nachum Dershowitz , Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Electr. Notes Theor. Comput. Sci. 30 (1): (1999) Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik: TermiLog: A System for Checking Termination of Queries to Logic Programs. CAV 1997 : 444-447 Naomi Lindenstrauss , Yehoshua Sagiv , Alexander Serebrenik: Unfolding the Mystery of Mergesort . LOPSTR 1997 : 206-225 1 [ 4 ] [ 5 ] [ 6 ] [ 9 ] [ 10 ] [ 14 ] 2 [ 18 ] 3 [ 3 ] [ 11 ] 4 [ 4 ] [ 9 ] [ 14 ] 5 [ 4 ] [ 9 ] [ 14 ] 6 [ 1 ] [ 2 ] [ 3 ] [ 11 ] 7 [ 20 ] 8 [ 4 ] [ 5 ] [ 6 ] [ 9 ] [ 10 ] [ 14 ] 9 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 9 ] [ 11 ] [ 14 ] 10 [ 7 ] [ 8 ] [ 12 ] [ 13 ] [ 15 ] [ 16 ] [ 17 ]  ©2004 Association for Computing Machinery |
