Server halma.mpi-inf.mpg.de
Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
# | | Year | Author(s) [non member] | Editor(s) [non member] | | Title | Type | |
1 |
| Baader, Franz |
| |
9 |
| |
1 |
| Bachem, A. (ed.) |
| |
20 |
| |
1 |
| Bachmair, Leo (ed.) |
| |
1 |
| |
3 |
| Backes, Werner |
| |
3 |
| |
1 |
| Balbiani, Philippe (ed.) |
| |
1 |
| |
1 |
| Ball, Thomas (ed.) |
| |
2 |
| |
1 |
| Baral, C. (ed.) |
| |
2 |
| |
1 |
| Barnett, Richard |
| |
1 |
| |
14 |
| Barth, Peter |
| |
54 |
| |
1 |
| Basin, David A. (ed.) |
| |
2 |
| |
4 |
| Baumeister, Hubert |
| |
| | 1999 | Baumeister, Hubert | | | Relations between Abstract Datatypes modeled as Abstract Datatypes
Universität des Saarlandes | Thesis - PhD thesis | |
| | 1995 | Baumeister, Hubert | Mosses, Peter D.
Nielsen, Mogens
Schwartzbach, Michael I. | | Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development (TAPSOFT '95), 756-771 | Proceedings Article | |
| | 1991 | Baumeister, Hubert | Abramsky, S.
Maibaum, T. S. E. | | Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91), 103-120 | Proceedings Article | |
| | 1990 | Baumeister, Hubert | | | Über die Stabilität parameterisierter algebraischer Spezifikationen
Universität Dortmund | Thesis - Masters thesis | |
13 |
| |
3 |
| Baumgartner, Peter (ed.) |
| |
3 |
| |
1 |
| Becker, Joachim |
| |
1 |
| |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)