Author:
Berghammer Rudolf,Gritzner Thomas F.,Schmidt Gunther
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Abold-Thalmann H., Berghammer R., Schmidt G.: Manipulation of concrete relations: The RELVIEW-system. Report Nr. 8905, Fakultät für Informatik, Universität der Bundeswehr München (1989)
2. Backhouse R.C., Hoogendijk P., Voermans E., van der Woude J.C.S.P: A relational theory of datatypes. Eindhoven University of Technology, Dept. of Mathematics and Computer Science (1992)
3. Berghammer R.: Computing the cut completion of a partially ordered set — An example for the use of the RELVIEW-system. Report Nr. 9205, Fakultät für Informatik, Universität der Bundeswehr München (1992)
4. Berghammer R., Schmidt G.: The RELVIEW-system. In: Choffrut C., Jantzen M. (eds.): Proc. STACS '91, Lect. Notes Comput. Sci. 480, Springer, 535–536 (1991)
5. Berghammer R., Schmidt G.: Relational specifications. In: Rauszer C. (ed.): Algebraic Methods in Logic and Computer Science, Banach Center Publications, Volume 28, Institute of Mathematics, Polish Academy of Sciences, 167–190 (1993)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献