search author

DBLP BibTeX Record 'journals/rcc/KamareddineMA03'

@article{DBLP:journals/rcc/KamareddineMA03,
  author    = {Fairouz Kamareddine and
               Fran\c{c}ois Monin and
               Mauricio Ayala-Rinc{\'o}n},
  title     = {On Automating the Extraction of Programs from Termination
               Proofs},
  journal   = {Revista Colombiana de Computaci{\'o}n},
  volume    = {4},
  number    = {2},
  year      = {2003},
  ee        = {http://www.unab.edu.co/editorialunab/revistas/rcc/pdfs/r42_art3_r.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}