MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Hide details for Avenhaus, JürgenAvenhaus, Jürgen
2003[Avenhaus, Jürgen]
Hillenbrand, Thomas
[Löchner, Bernd]		Attachment IconOn Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233		Journal Article
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
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
1
Show details for Beierle, C. (ed.)Beierle, C. (ed.)

Next Page