OPUS 4 | Search

Book

Sort by

Implementation of a deterministic partial E-unification algorithm for macro tree transducers (1994)

Heinz Faßbender ; Heiko Vogler ; Andrea Wedel

A universal unification algorithm based on unification driven leftmost outermost narrowing (1992)

Heinz Faßbender ; Heiko Vogler

A call-by-need implementation of syntax directed functional programming (1990)

Heinz Faßbender ; Heiko Vogler

A strict border for the decidability of e-unification for recursive functions (1996)

Heinz Faßbender ; Sebastian Maneth

Compiler based implementation of syntax directed functional programming (1991)

Heinz Faßbender ; Katia Gladtz ; Heiko Vogler

Protokolle zur Replikation verteilter Daten (2001)

Heinz Faßbender ; Gerhard Bühler ; G. Markmann ; M. Wunder

E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr. (1995)

Heinz Faßbender

Implementierung der Call-by-Need Auswertungsstrategie für Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabebändern (1989)

Heinz Faßbender

Architektur eines Führungsinformationssystems unter Verwendung von Enterprise Java Beans (2003)

Heinz Faßbender

Architektur eines plattformunabhängigen verteilten Führungsinformationssystems (1999)

Heinz Faßbender