Вы здесь

Serebrenik A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Nested Nets for Adaptive Systems 2006 Van Hee K., Lomazova I. A., Oanea O., Serebrenik A., Sidorova N., Voorhoeve M. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.08.2006
СТ Proving Termination for Logic Programs by the Query-Mapping Paris Approach 2004 Lindenstrauss N., Sagiv Y., Serebrenik A. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.07.2004
СТ On Termination of Logic Programs with Floating Point Computations 2002 Serebrenik A., De Schreye D. Lecture Notes in Computer Science 31.10.2002
СТ Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings 2001 Serebrenik A., De Schreye D. Lecture Notes in Computer Science 23.06.2001
СТ Algorithms for Rewriting Aggregate Queries Using Views 2000 Cohen S., Nutt W., Serebrenik A. Lecture Notes in Computer Science 07.10.2000
СТ Combining the Power of Searching and Querying 2000 Cohen S., Kanza Y., Kogan Y., Nutt W., Sagiv Y., Serebrenik A. Lecture Notes in Computer Science 28.09.2000
СТ Unfolding the Mystery of Mergesort 1998 Lindenstrauss N., Sagiv Y., Serebrenik A. Lecture Notes in Computer Science 14.10.1998