Optimization of a subclass of conjunctive queries Joachim BiskupPratul DublishYehoshua Sagiv OriginalPaper Pages: 1 - 26
What is failure? An approach to constructive negation Wlodzimierz Drabent OriginalPaper Pages: 27 - 59
A formal identification between tuples and lists with an application to list-arithmetic categories I. P. de GuzmánM. OjedaA. Valverde OriginalPaper Pages: 61 - 78
Parallel integer sorting using small operations Ramachandran VaidyanathanCarlos R. P. HartmannPramod K. Varshney OriginalPaper Pages: 79 - 92