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
Hide details for Basin, David (ed.)Basin, David (ed.)
2004Kazakov, Yevgeny
de Nivelle, Hans		A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 122-136		Proceedings Article
2004Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe		Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182		Proceedings Article
4
Show details for Baumeister, HubertBaumeister, Hubert
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.)
1
Show details for Becker, JoachimBecker, Joachim
1
Show details for Behrmann, GerdBehrmann, Gerd

Next Page