1 | -- | 12 | Gianni Amati, Iadh Ounis. Conceptual Graphs and First Order Logic |
13 | -- | 23 | Jeremy M. R. Martin. A Tool for Checking the CSP sat Property |
24 | -- | 39 | A. D. Pengelly, Darrel C. Ince. Quotient Machines, the Interface Equation and Protocol Conversion |
40 | -- | 53 | John A. Ellis, Minko Markov. In situ, Stable Merging by Way of the Perfect Shuffle |
54 | -- | 64 | Simon Y. Berkovich, Eyas El-Qawasmeh. Reversing the Error-Correction Scheme for a Fault-Tolerant Indexing |
65 | -- | 80 | Kam-yiu Lam, Tei-Wei Kuo, Wai-Hung Tsang, Gary C. K. Law. The Reduced Ceiling Protocol for Concurrency Control in Real-time Databases with Mixed Transactions |
81 | -- | 93 | Suk-Kyu Song, Narasimhaiah Gorla. A Genetic Algorithm for Vertical Fragmentation and Access Path Selection |