Author:
Hattensperger Claudia,Berghammer Rudolf,Schmidt Gunther
Reference4 articles.
1. Berghammer, Ft., Schmidt, G.: The RELVIEW-system. In: Choffrut C., Jantzen M. (eds.): Proc. STACS’ 91, LNCS 480, Springer, 535–536 (1991)
2. Brethauer Ft.: Ein Formelmanipulationssystem zur computergestützten Beweisführung in der Relationenalgebra. Diplomarbeit, Fakultät für Informatik, Universität der Bundeswehr München (1991)
3. 3. Schmidt G., Str??hlein T.: Relationen und Graphen. Reihe Mathematik f??r Informatiker, Springer (1989)
4. 4. English version: Relations and graphs. Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoret. Comput. Sci., Springer (1993)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Verification of Relational While-Programs;Relational and Algebraic Methods in Computer Science;2014