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
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
Hide details for Demri, StéphaneDemri, Stéphane
2005de Nivelle, Hans
[Demri, Stéphane]		Deciding Regular Grammar Logics with Converse through First-Order Logic
In: Journal of Logic, Language and Information [14], 289-329		Journal Article
2003de Nivelle, Hans
[Demri, Stéphane]		Deciding Modal Logics through Relational Translations into GF2
In: Proceedings of the 3rd Methods for Modalities Workshop, 15-30		Proceedings Article
2003de Nivelle, Hans
[Demri, Stéphane]		Deciding regular grammar logics with converse through first-order logicReport
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

Next Page