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

Kerima Benkerimi (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKerima Benkerimi, Patricia M. Hill: Supporting Transformations for the Partial Evaluation of Logic Programs. J. Log. Comput. 3(5): 469-486 (1993)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKerima Benkerimi, Patricia M. Hill: Object-Oriented Programming in Gödel: An Experiment. META 1992: 177-191

Selection of 2 from 7 records - Kerima Benkerimi has 9 coauthors

Copyright © 2009-11-26 by Michael Ley (ley@uni-trier.de)