TY - BOOK A1 - Faßbender, Heinz T1 - E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr. Y1 - 1995 SN - 3-8265-0917-X N1 - (Berichte aus der Informatik) ; Zugl.: Ulm, Univ., Diss., 1995 PB - Shaker CY - Aachen ER - TY - BOOK A1 - Faßbender, Heinz A1 - Vogler, Heiko A1 - Wedel, Andrea T1 - Implementation of a deterministic partial E-unification algorithm for macro tree transducers Y1 - 1994 N1 - (Ulmer Informatik-Berichte ; 94,4) PB - Univ. Ulm, Fak. für Informatik CY - Ulm ER - TY - BOOK A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A universal unification algorithm based on unification driven leftmost outermost narrowing Y1 - 1992 N1 - (Ulmer Informatik-Berichte ; 92,7) PB - Univ. Ulm, Fak. für Informatik CY - Ulm ER - TY - BOOK A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions Y1 - 1996 N1 - (Technische Berichte ; 96,21) PB - TU, Fak. Informatik CY - Dresden ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - An implementation of syntax directed functional programming on nested-stack machines JF - Formal Aspects of Computing. 4 (1992), H. 4 Y1 - 1992 SN - 0934-5043 SP - 341 EP - 375 ER - TY - BOOK A1 - Faßbender, Heinz T1 - Implementierung der Call-by-Need Auswertungsstrategie für Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabebändern Y1 - 1989 N1 - Diplomarbeit CY - Aachen ER - TY - JOUR A1 - Faßbender, Heinz T1 - Implementation of a universal unification algorithm for macro tree transducers JF - Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zoltán Ésik (ed.) Y1 - 1993 SN - 3-540-57163-9 N1 - (Lecture notes in computer science ; 710) SP - 222 EP - 233 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz T1 - Implementation of a UU-Algorithm for primitive recursive tree functions JF - Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.) Y1 - 1995 SN - 3-540-60249-6 N1 - (Lecture notes in computer science ; 965) SP - 233 EP - 242 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz T1 - A verified implementation of narrowing JF - Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.) Y1 - 1995 SN - 3-540-60359-X N1 - (Lecture notes in computer science ; 982) SP - 63 EP - 80 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian JF - Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.) Y1 - 1996 SN - 3-540-61735-3 N1 - (Lecture notes in computer science ; 1139) SP - 194 EP - 208 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Applying Ada, Java and CORBA for making a command and control information system platform independent JF - Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach & Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference Y1 - 1999 SN - 1-58113-127-5 N1 - (Ada letters ; 19,3) SP - 83 EP - 88 PB - ACM CY - New York, NY ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A universal unification algorithm based on unification-driven leftmost outermost narrowing JF - Acta Cybernetica. 11 (1994), H. 3 Y1 - 1994 SN - 0324-721x SP - 139 EP - 167 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Mößle, Andrea A1 - Vogler, Heiko T1 - Implementation of a deterministic partial e-unification algorithm for macro tree transducers JF - Journal of functional and logic programming. 1996 (1996), H. 2 Y1 - 1996 SN - 1080-5230 ER - TY - JOUR A1 - Faßbender, Heinz T1 - Reengineering an Ada95-programmed command and control information system by using UML JF - Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001) Y1 - 2001 SN - 1-58113-392-8 N1 - (Ada letters ; 21,4) SP - 53 EP - 60 PB - ACM CY - New York, NY ER - TY - JOUR A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian JF - Journal of functional and logic programming. 1998 (1998), H. 4 Y1 - 1998 SN - 1080-5230 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Making a C2 information system platform independent by using internet and middleware technologies JF - Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA Y1 - 1999 SP - 1 EP - 11 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - The join of a geographical situation display system and a platform independent C2 information system JF - Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA Y1 - 2000 SP - 1 EP - 7 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Modelling command and control information systems by UML JF - Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada Y1 - 2001 SP - 7-1 EP - 7-9 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - An experimental command and control information system based on Enterprise Java bean technology JF - Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada Y1 - 2002 SP - 1 EP - 8 ER - TY - BOOK A1 - Faßbender, Heinz A1 - Gladtz, Katia A1 - Vogler, Heiko T1 - Compiler based implementation of syntax directed functional programming Y1 - 1991 N1 - (Aachener Informatik-Berichte ; 91,10) PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - BOOK A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A call-by-need implementation of syntax directed functional programming Y1 - 1990 N1 - (Aachener Informatik-Berichte ; 90,22) PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - BOOK A1 - Faßbender, Heinz A1 - Bühler, Gerhard A1 - Markmann, G. A1 - Wunder, M. T1 - Protokolle zur Replikation verteilter Daten Y1 - 2001 N1 - (FKIE-Bericht ; 27) PB - FGAN-FKIE CY - Wachtberg ER - TY - BOOK A1 - Faßbender, Heinz T1 - Architektur eines Führungsinformationssystems unter Verwendung von Enterprise Java Beans Y1 - 2003 N1 - (FKIE-Bericht ; 59) PB - FGAN-FKIE CY - Wachtberg ER - TY - BOOK A1 - Faßbender, Heinz T1 - Architektur eines plattformunabhängigen verteilten Führungsinformationssystems Y1 - 1999 N1 - (FKIE-Bericht ; 8) PB - FGAN-FKIE CY - Wachtberg ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Plattformunabhängige Verwendbarkeit eines Führungsinformationssystems durch den Einsatz von CORBA und Java JF - Proceedings zum Workshop Y1 - 2000 N1 - (Institut für Angewandte Systemforschung und Operations-Research <Neubiberg>: Bericht ; S0006) PB - Univ. der Bundeswehr, Fak. Informatik CY - Neubiberg ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract JF - Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.) Y1 - 1991 SP - 95 EP - 96 PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - JOUR A1 - Faßbender, Heinz A1 - Wedel, Andrea T1 - E-Unifikation mit macro tree transducer JF - 2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren Y1 - 1992 SN - 0946-3852 N1 - (WSI / Wilhelm-Schickard-Institut für Informatik ; 92,9) PB - Wilhelm-Schickard-Inst. für Informatik, Univ. CY - Tübingen ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - Implementierung eines universellen Unifikationsalgorithmus für Macro Tree Transducer JF - Alternative Konzepte für Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.) Y1 - 1994 N1 - (Fachberichte Informatik ; 94,4) PB - Univ., Inst. für Informatik CY - Koblenz ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko A1 - Wedel, Andrea T1 - An abstract machine for the E-Unification with macro tree transducer JF - 7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA] Y1 - 1993 ER -