92 citations · 154 across the 17 of their papers we have counts for
Showing 2001Show all
3 papers · 1 filter
cs.DB2001★ 2 cited
EquiX--A Search and Query Language for XML
Sara Cohen, Yaron Kanza, Yakov Kogan +3
EquiX is a search language for XML that combines the power of querying with the simplicity of searching. Requirements for such languages are discussed and it is shown that EquiX me…
cs.PL2001★ 7 cited
Inference of termination conditions for numerical loops
Alexander Serebrenik, Danny De Schreye
We present a new approach to termination analysis of numerical computations in logic programs. Traditional approaches fail to analyse them due to non well-foundedness of the intege…
cs.PL2001
Acceptability with general orderings
Danny De Schreye, Alexander Serebrenik
We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general orderings (instead of level mappings), like it is do…