• Deutsch
Login

Open Access

  • Home
  • Search
  • Browse
  • Administration
  • FAQ

Refine

Author

  • Heinz Faßbender (29)
  • Heiko Vogler (10)
  • Gerhard Bühler (7)
  • Andrea Wedel (3)
  • Sebastian Maneth (3)
  • Andrea Mößle (1)
  • G. Markmann (1)
  • Katia Gladtz (1)
  • M. Wunder (1)

Year of publication

  • 2003 (1)
  • 2002 (1)
  • 2001 (3)
  • 2000 (2)
  • 1999 (3)
  • 1998 (1)
  • 1996 (3)
  • 1995 (3)
  • 1994 (3)
  • 1993 (2)
  • 1992 (3)
  • 1991 (2)
  • 1990 (1)
  • 1989 (1)

Document Type

  • Article (19)
  • Book (10)

Language

  • English (21)
  • German (8)

29 search hits

  • 1 to 10
  • BibTeX
  • CSV
  • RIS
  • 10
  • 20
  • 50
  • 100

Sort by

  • Year
  • Year
  • Title
  • Title
  • Author
  • Author
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
  • 1 to 10

OPUS4 Logo

  • Contact
  • Imprint
  • Datenschutzerklärung
  • Sitelinks