Author:
Berghammer Rudolf,Schmidt Gunther
Reference4 articles.
1. Abold-Thalmann H., Berghammer R., Schmidt G.: Manipulation of concrete relations: The RELVIEW-system. Report Nr. 8905, Fak. f. Informatik, UniBw München (1989)
2. R. Berghammer, G. Schmidt and H. Zierer: Symmetric Quotients and Domain Constructions. Inform. Proc. Letters 33, 3, 163–169 (1989)
3. G. Schmidt and T. Ströhlein: Relationen und Graphen. Springer: Berlin (1989)
4. H. Zierer: Programming with Function Objects: Constructive Generation of Semantic Domains and Application to Partial Evaluation. Diss., TU München (1988)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献