Heinz Faßbender

Publication Activity (10 Years)

Years Active: 1992-2001
Publications (10 Years): 0

Publications

Heinz Faßbender
Reengineering an Ada95-programmed command and control information system by using UML. SIGAda (2001)
Gerhard Bühler, Heinz Faßbender
Applying Ada, Java and CORBA for making a command and control information system platform independent. SIGAda (1999)
Heinz Faßbender, Sebastian Maneth
A Strict Border for the Decidability of E-Unification for Recursive Functions. J. Funct. Log. Program. 1998 (4) (1998)
Heinz Faßbender, Andrea Mößle, Heiko Vogler
Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers. J. Funct. Log. Program. 1996 (2) (1996)
Heinz Faßbender, Sebastian Maneth
A Strict Border for the Decidability of E-Unification for Recursive Functions. ALP (1996)
Heinz Faßbender
A Verified Implementation of Narrowing PLILP (1995)
Heinz Faßbender
Implementation of a UU-Algorithm for Primitive Recursive Tree Functions. FCT (1995)
Heinz Faßbender, Heiko Vogler
A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing. Acta Cybern. 11 (3) (1994)
Heinz Faßbender
Implementation of a Universal Unification Algorithm for Macro Tree Transducers. FCT (1993)
Heinz Faßbender, Heiko Vogler
An Implementation of Syntax Directed Functional Programming on Nested-Stack Machines. Formal Aspects Comput. 4 (4) (1992)