Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

	Year		Title	BibTeX cite key
Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz
Damm, Pinto, Ratschan
Daum, Maus, Schirmer, Seghir
de Nivelle
de Nivelle, Areces, de Rijke
de Nivelle, Baumgartner, Fuchs, Tinelli
de Nivelle, Bezem, Hendriks
de Nivelle, Blackburn, Bos, Kohlhase
de Nivelle, de Rijke
de Nivelle, Demri
	2005		Deciding Regular Grammar Logics with Converse through First-Order Logic In: Journal of Logic, Language and Information [14], 289-329	deNivelleDemri2005
	2003		Deciding Modal Logics through Relational Translations into GF2 In: Proceedings of the 3rd Methods for Modalities Workshop, 15-30	deNivelleDemri2003c
	2003		Deciding regular grammar logics with converse through first-order logic	deNivelleDemri2003a
de Nivelle, Hustadt, Schmidt
de Nivelle, Kazakov
de Nivelle, Meng
de Nivelle, Piskac
de Nivelle, Pratt-Hartmann
de Nivelle, Schulz (ed.)
de Raedt, Jaeger, Lee, Mannila
Degtyarev, Gurevich, Narendran, Veanes, Voronkov
Delahaye, Jaume, Prevosto
Delzanno
Delzanno, Esparza, Podelski
Delzanno, Galmiche, Martelli
Delzanno, Podelski
Delzanno, Raskin
Dimitrova
Dimopoulos
Dimopoulos, Magirou

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)