Heinz Faßbender

According to our database, Heinz Faßbender authored at least 10 papers between 1992 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Reengineering an Ada95-programmed command and control information system by using UML.

Heinz Faßbender

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 2001

1999

Applying Ada, Java and CORBA for making a command and control information system platform independent.

Gerhard Bühler, Heinz Faßbender

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999

1998

A Strict Border for the Decidability of E-Unification for Recursive Functions.

Heinz Faßbender, Sebastian Maneth

J. Funct. Log. Program., 1998

1996

Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers.

Heinz Faßbender, Andrea Mößle, Heiko Vogler

J. Funct. Log. Program., 1996

1995

E-Unifikation für primitiv-rekursive Baumfunktionen: Semantik und Implementierung.

Heinrich Faßbender

PhD thesis, 1995

A Verified Implementation of Narrowing

Heinz Faßbender

Proceedings of the Programming Languages: Implementations, 1995

Implementation of a UU-Algorithm for Primitive Recursive Tree Functions.

Heinz Faßbender

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1994

A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing.

Heinz Faßbender, Heiko Vogler

Acta Cybern., 1994

1993

Implementation of a Universal Unification Algorithm for Macro Tree Transducers.

Heinz Faßbender

Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993

1992

An Implementation of Syntax Directed Functional Programming on Nested-Stack Machines.

Heinz Faßbender, Heiko Vogler

Formal Aspects Comput., 1992