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

Michael Hanus (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


92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal: Specialization of functional logic programs based on needed narrowing. TPLP 5(3): 273-303 (2005)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Functional Logic Programs Based on Needed Narrowing CoRR cs.PL/0403011: (2004)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal: Specialization of Inductively Sequential Functional Logic Programs. ICFP 1999: 273-283
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, María Alpuente, Michael Hanus, Germán Vidal: A Partial Evaluation Framework for Curry Programs. LPAR 1999: 376-395

Selection of 4 from 129 records - Michael Hanus has 41 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page