MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for Avenhaus, JürgenAvenhaus, Jürgen
4
Show details for Ayari, AbdelwahebAyari, Abdelwaheb
1
Show details for Baader, FranzBaader, Franz
9
Show details for Baader, Franz (ed.)Baader, Franz (ed.)
1
Show details for Bachem, A. (ed.)Bachem, A. (ed.)
20
Show details for Bachmair, LeoBachmair, Leo
1
Show details for Bachmair, Leo (ed.)Bachmair, Leo (ed.)
1
Show details for Bach, AlexanderBach, Alexander
3
Show details for Backes, WernerBackes, Werner
3
Show details for Bajcsy, R. (ed.)Bajcsy, R. (ed.)
1
Show details for Balbiani, Philippe (ed.)Balbiani, Philippe (ed.)
1
Show details for Ball, ThomasBall, Thomas
1
Show details for Ball, Thomas (ed.)Ball, Thomas (ed.)
2
Show details for Ball, TomBall, Tom
1
Show details for Baral, C. (ed.)Baral, C. (ed.)
2
Show details for Barkaoui, Kamel (ed.)Barkaoui, Kamel (ed.)
1
Show details for Barnett, RichardBarnett, Richard
1
Show details for Bartenstein, Oskar (ed.)Bartenstein, Oskar (ed.)
14
Show details for Barth, PeterBarth, Peter
54
Show details for Basin, David A.Basin, David A.
1
Show details for Basin, David A. (ed.)Basin, David A. (ed.)
2
Show details for Basin, David (ed.)Basin, David (ed.)
4
Hide details for Baumeister, HubertBaumeister, Hubert
1999Baumeister, HubertAttachment IconRelations between Abstract Datatypes modeled as Abstract Datatypes
Universität des Saarlandes		Thesis - PhD thesis
1995Baumeister, HubertRelations 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
1991Baumeister, HubertUnifying 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
1990Baumeister, HubertAttachment IconÜber die Stabilität parameterisierter algebraischer Spezifikationen
Universität Dortmund		Thesis - Masters thesis
13
Show details for Baumgartner, PeterBaumgartner, Peter
3
Show details for Baumgartner, Peter (ed.)Baumgartner, Peter (ed.)
3
Show details for Beckert, Bernhard (ed.)Beckert, Bernhard (ed.)

Next Page