Dmitri Boulanger (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers: A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. SAS 1996: 128-142

6 Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker: Abstracting s-semantincs Using A Model-Theoretic Approach. PLILP 1994: 432-446

Selection of 2 from 17 records - Dmitri Boulanger has 15 coauthors

11		Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers: A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. SAS 1996: 128-142
6		Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker: Abstracting s-semantincs Using A Model-Theoretic Approach. PLILP 1994: 432-446