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
Hide details for Anderson, PennyAnderson, Penny
2000[Anderson, Penny]
Basin, David A.		Program Development Schemata as Derived Rules
In: Journal of Symbolic Computation [30], 5-36		Journal Article
1995Anderson, Penny
Basin, David A.		Deriving and Applying Logic Program Transformers
In: Algorithms, Concurrency and Knowledge (1995 Asian Computing Science Conference), 301-318		Proceedings Article
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
Show details for Astesiano, Egidio (ed.)Astesiano, Egidio (ed.)
1
Show details for Attie, Paul (ed.)Attie, Paul (ed.)
1
Show details for Autexier, SergeAutexier, Serge

Next Page