# | | Year | | Title | Type | |
1 |
| Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz [Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Wirtz, Graf, Zhang] |
| |
1 |
| Damm, Pinto, Ratschan [Damm, , Peled, Tsay] |
| |
1 |
| Daum, Maus, Schirmer, Seghir [Daum, Schirmer, Sutcliffe, Voronkov] |
| |
2 |
| |
1 |
| de Nivelle [Baader] |
| |
1 |
| |
1 |
| de Nivelle [Faller, Kaufmann, Pauly] |
| |
1 |
| de Nivelle [Konev, Schmidt] |
| |
1 |
| de Nivelle [Nieuwenhuis, Voronkov] |
| |
1 |
| de Nivelle, Areces, de Rijke [Areces, de Rijke] |
| |
1 |
| de Nivelle, Baumgartner, Fuchs, Tinelli [Baumgartner, Fuchs, Tinelli, Ahrendt, Baumgartner] |
| |
1 |
| de Nivelle, Bezem, Hendriks [Bezem, Hendriks, McAllester] |
| |
1 |
| de Nivelle, Blackburn, Bos, Kohlhase [Blackburn, Bos, Kohlhase] |
| |
1 |
| de Nivelle, de Rijke [de Rijke, de Rijke] |
| |
1 |
| de Nivelle, Demri [Demri, Areces, Blackburn] |
| |
| | 2003 | | Deciding Modal Logics through Relational Translations into GF2
In: Proceedings of the 3rd Methods for Modalities Workshop, 15-30 | Proceedings Article | |
2 |
| de Nivelle, Demri [Demri] |
| |
1 |
| de Nivelle, Hustadt, Schmidt [Hustadt, Schmidt] |
| |
1 |
| de Nivelle, Kazakov [-] |
| |
1 |
| de Nivelle, Meng [Meng, Furbach, Shankar] |
| |
1 |
| de Nivelle, Meng [Meng] |
| |
1 |
| |
1 |
| de Nivelle, Pratt-Hartmann [Pratt-Hartmann, Goré, Leitsch, Nipkow] |
| |
1 |
| de Nivelle, Schulz (ed.) [Schulz] |
| |
1 |
| de Raedt, Jaeger, Lee, Mannila [de Raedt, Lee, Mannila] |
| |
1 |
| Degtyarev, Gurevich, Narendran, Veanes, Voronkov [Degtyarev, Gurevich, Narendran, Voronkov, Nipkow] |
| |
1 |
| Degtyarev, Gurevich, Narendran, Veanes, Voronkov [Degtyarev, Gurevich, Narendran, Voronkov] |
| |
1 |
| Delahaye, Jaume, Prevosto [Delahaye, Jaume] |
| |
1 |
| Delzanno [-] |
| |
1 |
| Delzanno, Esparza, Podelski [Flum, Rodríguez-Artalejo, Esparza, Flum] |
| |