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
Hide details for Afshordel, BijanAfshordel, Bijan
2001Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph		Attachment IconFirst-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319		Proceedings Article
1999Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor		System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318		Proceedings Article
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
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