OPUS 4 | Search

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

Heinz Faßbender

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

Heinz Faßbender ; Heiko Vogler ; Andrea Wedel

Plattformunabhängige Verwendbarkeit eines Führungsinformationssystems durch den Einsatz von CORBA und Java (2000)

Heinz Faßbender ; Gerhard Bühler

An implementation of syntax directed functional programming on nested-stack machines (1992)

Heinz Faßbender ; Heiko Vogler

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

Implementation of a universal unification algorithm for macro tree transducers (1993)

Heinz Faßbender

Implementation of a UU-Algorithm for primitive recursive tree functions (1995)

Heinz Faßbender

A verified implementation of narrowing (1995)

Heinz Faßbender

A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian (1996)

Heinz Faßbender ; Sebastian Maneth

Applying Ada, Java and CORBA for making a command and control information system platform independent (1999)

Heinz Faßbender ; Gerhard Bühler

Open Access