MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
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
Hide details for Baumgartner, Peter (ed.)Baumgartner, Peter (ed.)
2006de Nivelle, Hans
[Baumgartner, Peter]
[Fuchs, Alexander]
[Tinelli, Cesare]		Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95		Electronic Proceedings Article
2006IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-ProvabilityElectronic Proceedings
2006Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph		Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12		Electronic Proceedings Article
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