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
Show details for de Nivelle, Hans (ed.)de Nivelle, Hans (ed.)
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
Hide details for de Swart, Harrie (ed.)de Swart, Harrie (ed.)
1998Hustadt, Ullrich
Schmidt, Renate A.
Weidenbach, Christoph		Optimised Functional Translation and Resolution
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 36-37		Proceedings Article
1998Hustadt, Ullrich
Schmidt, Renate A.		Simplification and backjumping in modal tableau
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 187-201		Proceedings Article
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.)
1
Show details for Deussen, P.Deussen, P.
1
Show details for Devienne, PhilippeDevienne, Philippe
1
Show details for Dierks, HenningDierks, Henning

Next Page