dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Bruno Bertolino Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1994
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Preist, Kave Eshghi, Bruno Bertolino: Consistency-Based and Abductive Diagnoses as Generalized Stable Models. Ann. Math. Artif. Intell. 11(1-4): 51-74 (1994)
1993
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Bertolino, M. Mowbray: A Completeness Result for SLDNF-Resolution. GULP 1993: 301-308
1992
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Bertolino, Luigi Meo, Dino Pedreschi, Franco Turini: The Type System of LML. Types in Logic Programming 1992: 313-332
1988
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini: A Progress Report on the LML Project. FGCS 1988: 675-684

Coauthor Index

1Kave Eshghi [4]
2Paolo Mancarella [1]
3Luigi Meo [1] [2]
4M. Mowbray [3]
5Luca Nini [1]
6Dino Pedreschi [1] [2]
7Chris Preist [4]
8Franco Turini [1] [2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page