Searching for authors named "Alexander Serebrenik" – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Improving Prolog Programs: Refactoring for Prolog
- …Improving Prolog Programs: Refactoring for Prolog Tom Schrijvers #1 and Alexander Serebrenik ##2…
- Cited by 3 (1 self) – Add To MetaCart
-
Refactoring Prolog Code
- …Refactoring Prolog Code Tom Schrijvers #1 , Alexander Serebrenik 2 , and Bart Demoen 1 1…
- Add To MetaCart
-
Algorithms for Rewriting Aggregate Queries Using Views
- … , and Alexander Serebrenik 3 1 Computer Science Dept., The Hebrew University, Jerusalem, Israel sarina…
- Cited by 10 (2 self) – Add To MetaCart
-
Refactoring Prolog Programs
- …Refactoring Prolog programs Tom Schrijvers Alexander Serebrenik Bart Demoen Report CW 373…
- Cited by 3 (3 self) – Add To MetaCart
-
A General Framework for Automatic Termination Analysis of Logic Programs
- … , Alexander Serebrenik 3 1 School of Mathematical Sciences, Tel-Aviv University, Tel-Aviv 69978, Israel. e…
- Cited by 30 (7 self) – Add To MetaCart
-
Rewriting Aggregate Queries Using Views
- … 3 66123 Saarbrucken, Germany Werner.Nutt@(email omitted); 1 Introduction Alexander Serebrenik Institute…
- Cited by 64 (7 self) – Add To MetaCart
-
Termination of Floating Point Computations
- …Termination of Floating Point Computations Alexander Serebrenik ∗ Department of Mathematics…
- Add To MetaCart
-
On Termination of Meta-Programs
- …On termination of meta-programs Alexander Serebrenik Danny De Schreye Department of Computer…
- Cited by 1 (0 self) – Add To MetaCart
-
Inference of Termination Conditions for Numerical Loops in Prolog
- …Inference of termination conditions for numerical loops in Prolog Alexander Serebrenik ? ,Danny…
- Cited by 7 (5 self) – Add To MetaCart
-
On Termination of Programs with Real Numbers Computations
- …On termination of programs with real numbers computations Alexander Serebrenik Danny De Schreye…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
