MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
1
Show details for D'Agostino, Marcello (ed.)D'Agostino, Marcello (ed.)
1
Show details for Dahl, Verónica (ed.)Dahl, Verónica (ed.)
1
Show details for Dahn, Ingo (ed.)Dahn, Ingo (ed.)
3
Show details for Dal Zilio, SilvanoDal Zilio, Silvano
2
Show details for Damm, WernerDamm, Werner
1
Show details for Danvy, Olivier (ed.)Danvy, Olivier (ed.)
1
Show details for Dauchet, Max (ed.)Dauchet, Max (ed.)
1
Show details for Daum, MatthiasDaum, Matthias
1
Show details for De Giacomo, Giuseppe (ed.)De Giacomo, Giuseppe (ed.)
1
Show details for de Leon, David (ed.)de Leon, David (ed.)
1
Show details for de Moor, Aldo (ed.)de Moor, Aldo (ed.)
26
Show details for de Nivelle, Hansde Nivelle, Hans
5
Hide details for de Nivelle, Hans (ed.)de Nivelle, Hans (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
2001Proceedings of the 2nd International Workshop on the Implementation of LogicsProceedings
2001Hillenbrand, Thomas
[Löchner, Bernd]		Attachment IconThe Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21		Proceedings Article
1
Show details for de Raedt, Lucde Raedt, Luc
3
Show details for de Rijke, Maartende Rijke, Maarten
1
Show details for de Rijke, Maarten (ed.)de Rijke, Maarten (ed.)
1
Show details for de Rijke, M. (ed.)de Rijke, M. (ed.)
2
Show details for de Swart, Harrie (ed.)de Swart, Harrie (ed.)
2
Show details for Degtyarev, AnatoliDegtyarev, Anatoli
1
Show details for Delahaye, DavidDelahaye, David
1
Show details for Delgrande, Jim (ed.)Delgrande, Jim (ed.)
10
Show details for Delzanno, GiorgioDelzanno, Giorgio
3
Show details for Demri, StéphaneDemri, Stéphane
1
Show details for Dershowitz, Nachum (ed.)Dershowitz, Nachum (ed.)
1
Show details for Dershowitz, N. (ed.)Dershowitz, N. (ed.)

Next Page