Bibsonomy :: author  ::

bookmarks

publications

(209)

• Design, die Zukunft des Unternehmens : eine Einführung in das Design
  {Walter} Haberda and {Walter} Hanus (1996)
  to imported by fbw on 2008-05-29 13:24:55
  | URL | BibTeX  
• Kinematic Calibration and Geometrical Parameter Identification for Robots
  J. M. Renders and E. Rossignol and M. Becquet and R. Hanus IEEE Transactions on Robotics and Automation 7 721--732 (1991)
  to imported by dmartins on 2008-03-02 02:12:02
  | BibTeX  
• High-Level Database Programming in Curry.
  Bernd Braßel and Michael Hanus and Marion Müller PADL 316-332 (2008)
  to dblp by dblp on 2008-01-04 00:00:00
  | URL | BibTeX  
• Compiling ER Specifications into Declarative Programs
  Bernd Braßel and Michael Hanus and Marion Müller CoRR abs/0711.0348 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• A Generic Analysis Environment for Curry Programs
  Michael Hanus CoRR abs/cs/0701147 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Specialization of Functional Logic Programs Based on Needed Narrowing
  María Alpuente and Michael Hanus and Salvador Lucas and Germán Vidal CoRR cs.PL/0403011 (2004)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Translating curry to haskell system demo.
  Bernd Braßel and Frank Huch WCFLP 60-65 (2005)
  to dblp by dblp on 2007-11-09 00:00:00
  | URL | BibTeX  
• A declarative debugger of incorrect answers for constraint functional-logic programs.
  Rafael Caballero WCFLP 8-13 (2005)
  to dblp by dblp and 1 other person on 2007-11-09 00:00:00
  | URL | BibTeX  
• A generic analysis environment for declarative programs.
  Michael Hanus WCFLP 43-48 (2005)
  to dblp by dblp on 2007-11-09 00:00:00
  | URL | BibTeX  
• A functional logic database library.
  Sebastian Fischer WCFLP 54-59 (2005)
  to dblp by dblp on 2007-11-09 00:00:00
  | URL | BibTeX