Author:
Berghammer Rudolf,Hoffmann Thorsten
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Aho A. V., Hopcroft J. E., Ullman J. D.: The design and analysis of computer algorithms. Addison-Wesley (1974).
2. Behnke R. et al.: Applications of the Rel
View system. In: Berghammer R., Lakhnech Y. (eds.): Tool support for system specification, development and verification. Advances in Computing, Springer, 33–47 (1999).
3. Berghammer R., Hoffmann T.: Relational depth-first-search with applications. In: Desharnais J. (ed.): Proc. 5th Int. Seminar on Relational Methods in Computer Science, Laval Univ., Dept. d’Informatique, 11–20 (2000). Extended version in: Information Sciences 139, 167–186 (2001).
4. Berghammer R.: Combining relational calculus and the Dijkstra-Gries method for deriving relational programs. Information Sciences 119, 155–171 (1999).
5. Cormen T. H., Leiserson C. E., Rivest R. L.: Introduction to algorithms. The MIT Press (1990).