Search the dblp DataBase

Publications of Author

1. Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
   Improving Functional Logic Programs by Difference-Lists. [Citation Graph (0, 0)][DBLP]
   ASIAN, 2000, pp:237-254 [Conf]
   
2. Michael Hanus, Frank Steiner
   Controlling Search in Funtional Logic Programs. [Citation Graph (0, 0)][DBLP]
   IJCSLP, 1998, pp:347-348 [Conf]
   
3. Michael Hanus, Frank Steiner
   Controlling Search in Declarative Programs. [Citation Graph (0, 0)][DBLP]
   PLILP/ALP, 1998, pp:374-390 [Conf]
   
4. Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
   An Implementation of Narrowing Strategies. [Citation Graph (0, 0)][DBLP]
   PPDP, 2001, pp:207-217 [Conf]
   
5. Michael Hanus, Frank Steiner
   Type-based nondeterminism checking in functional logic programs. [Citation Graph (0, 0)][DBLP]
   PPDP, 2000, pp:202-213 [Conf]
   
6. Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
   List-Processing Optimizations in a Multi-Paradigm Declarative Language. [Citation Graph (0, 0)][DBLP]
   WFLP, 2000, pp:184-194 [Conf]
   
7. Frank Steiner, Michael Hanus
   Type-based Nondeterminism Checking in Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
   WLP, 2000, pp:135-148 [Conf]
   
8. 
   Embedded Toolkits for User Co-Design: A Technology Acceptance Study of Product Adaptability in the Usage Stage. [Citation Graph (, )][DBLP]