Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Agarwal R., Faloutsis C, Swaini A: Efficient Similarity Search in Sequence Databases, In FODO Conference, Evanston, Illinois, Oct. 1993.
2. J. Chomicki, History-less Checking of Dynamic Integrity Constraints, IEEE International Conference on Data Engineering, Phoenix, Arizona, February 1992.
3. Dayal U., Active Database Management Systems, Proc. of 3rd Intnl. Conf. on Data and Knowledge bases–Improving usability and Responsiveness, Jerusalem, June 1988.
4. Durbin R., et al.: Biological Sequence Analysis, Cambridge University Press, 1998.
5. E. A. Emerson, A. P. Sistla: Triple Exponential Decision Procedure for the Logic CTL*, Workshop on Logics of Programs, Carnegie-Mellon University, Pittsburgh, Pennsylvania, June 1983.