MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for Aardal, Karen (ed.)Aardal, Karen (ed.)
2
Show details for Abadi, Martín (ed.)Abadi, Martín (ed.)
1
Show details for Abdelwaheb, AyariAbdelwaheb, Ayari
2
Show details for Abramsky, S. (ed.)Abramsky, S. (ed.)
2
Show details for Afshordel, BijanAfshordel, Bijan
1
Show details for Agilanò, Paolo (ed.)Agilanò, Paolo (ed.)
3
Show details for Ahrendt, Wolfgang (ed.)Ahrendt, Wolfgang (ed.)
2
Show details for Aichernig, Bernhard K. (ed.)Aichernig, Bernhard K. (ed.)
1
Show details for Albani, Antonia (ed.)Albani, Antonia (ed.)
1
Show details for Albert, Chris (ed.)Albert, Chris (ed.)
2
Show details for Alferes, José Júlio (ed.)Alferes, José Júlio (ed.)
1
Show details for Althaus, ErnstAlthaus, Ernst
1
Show details for Alur, Rajeev (ed.)Alur, Rajeev (ed.)
1
Show details for Amadio, RobertoAmadio, Roberto
2
Show details for Anderson, PennyAnderson, Penny
1
Show details for Anjaneyulu, KSR (ed.)Anjaneyulu, KSR (ed.)
1
Show details for Antoy, SergioAntoy, Sergio
1
Show details for Apt, Krzysztof (ed.)Apt, Krzysztof (ed.)
1
Show details for Apt, K. (ed.)Apt, K. (ed.)
1
Show details for Ardizzone, E. (ed.)Ardizzone, E. (ed.)
2
Show details for Areces, CarlosAreces, Carlos
1
Show details for Areces, Carlos (ed.)Areces, Carlos (ed.)
1
Show details for Argon, PabloArgon, Pablo
1
Show details for Arikawa, Setsuo (ed.)Arikawa, Setsuo (ed.)
1
Show details for Aroyo, Lora (ed.)Aroyo, Lora (ed.)
2
Hide details for Astesiano, Egidio (ed.)Astesiano, Egidio (ed.)
1999Basin, David A.
Krieg-Brückner, Bernd		Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562		Part of a Book
1995Bachmair, Leo
Ganzinger, Harald
Stuber, Jürgen		Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29		Proceedings Article
1
Show details for Attie, Paul (ed.)Attie, Paul (ed.)
1
Show details for Autexier, SergeAutexier, Serge

Next Page