Search the dblp DataBase

Publications of Author

1. Heinz Faßbender, Sebastian Maneth
   A Strict Border for the Decidability of E-Unification for Recursive Functions. [Citation Graph (0, 0)][DBLP]
   ALP, 1996, pp:194-208 [Conf]
   
2. Heinz Faßbender
   Implementation of a Universal Unification Algorithm for Macro Tree Transducers. [Citation Graph (0, 0)][DBLP]
   FCT, 1993, pp:222-233 [Conf]
   
3. Heinz Faßbender
   Implementation of a UU-Algorithm for Primitive Recursive Tree Functions. [Citation Graph (0, 0)][DBLP]
   FCT, 1995, pp:233-242 [Conf]
   
4. Heinz Faßbender
   A Verified Implementation of Narrowing [Citation Graph (0, 0)][DBLP]
   PLILP, 1995, pp:63-80 [Conf]
   
5. Heinz Faßbender
   Reengineering an Ada95-programmed command and control information system by using UML. [Citation Graph (0, 0)][DBLP]
   SIGAda, 2001, pp:53-60 [Conf]
   
6. Gerhard Bühler, Heinz Faßbender
   Applying Ada, Java and CORBA for making a command and control information system platform independent. [Citation Graph (0, 0)][DBLP]
   SIGAda, 1999, pp:83-88 [Conf]
   
7. Heinz Faßbender, Heiko Vogler
   A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing. [Citation Graph (0, 0)][DBLP]
   Acta Cybern., 1994, v:11, n:3, pp:139-168 [Journal]
   
8. Heinz Faßbender, Heiko Vogler
   An Implementation of Syntax Directed Functional Programming on Nested-Stack Machines. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1992, v:4, n:4, pp:341-375 [Journal]
   
9. Heinz Faßbender, Sebastian Maneth
   A Strict Border for the Decidability of E-Unification for Recursive Functions. [Citation Graph (0, 0)][DBLP]
   Journal of Functional and Logic Programming, 1998, v:1998, n:4, pp:- [Journal]
   
10. Heinz Faßbender, Andrea Mößle, Heiko Vogler
    Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1996, v:1996, n:2, pp:- [Journal]