TY - JOUR A1 - Ferrein, Alexander A1 - Schiffer, Stefan A1 - Lakemeyer, Gerhard T1 - A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus / Ferrein, Alexander ; Schiffer, Stefan ; Lakemeyer, Gerhard JF - Intelligent Robotics and Applications : First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part I Y1 - 2008 N1 - Lecture Notes in Computer Science ; 5314 SP - 498 EP - 509 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Schiffer, Stefan A1 - Lakemeyer, Gerhard T1 - Embedding fuzzy controllers in golog / Ferrein, Alexander ; Schiffer, Stefan ; Lakemeyer, Gerhard JF - IEEE International Conference on Fuzzy Systems, 2009. FUZZ-IEEE 2009 Y1 - 2009 SN - 978-1-4244-3596-8 SP - 894 EP - 899 PB - IEEE CY - New York ER - TY - JOUR A1 - Ferrein, Alexander A1 - Schiffer, Stefan A1 - Booysen, T. A1 - Stopforth, R. T1 - Why it is harder to run RoboCup in South Africa: Experiences from German South African collaborations JF - International Journal of Advanced Robotic Systems N2 - Robots are widely used as a vehicle to spark interest in science and technology in learners. A number of initiatives focus on this issue, for instance, the Roberta Initiative, the FIRST Lego League, the World Robot Olympiad and RoboCup Junior. Robotic competitions are valuable not only for school learners but also for university students, as the RoboCup initiative shows. Besides technical skills, the students get some project exposure and experience what it means to finish their tasks on time. But qualifying students for future high-tech areas should not only be for students from developed countries. In this article, we present our experiences with research and education in robotics within the RoboCup initiative, in Germany and South Africa; we report on our experiences with trying to get the RoboCup initiative in South Africa going. RoboCup has a huge support base of academic institutions in Germany; this is not the case in South Africa. We present our ‘north–south’ collaboration initiatives in RoboCup between Germany and South Africa and discuss some of the reasons why we think it is harder to run RoboCup in South Africa. Y1 - 2016 U6 - https://doi.org/10.1177/1729881416662789 SN - 1729-8806 VL - 13 IS - 5 SP - 1 EP - 13 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Rens, Gavin A1 - Poel, Etienne van der T1 - A BDI agent architecture for a POMDP planner / Rens, Gavin ; Ferrein, Alexander ; Poel, Etienne van der Y1 - 2009 N1 - 9th International Symposium on Logical Formalization of Commonsense Reasoning: Commonsense 2009, Toronto, Canada, 1-3 June, 2009 SP - 1 EP - 6 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Rens, Gavin A1 - Meyer, Thomas A1 - Lakemeyer, Gerhard T1 - A Logic for Specifying Partially Observable Stochastic Domains / Rens, Gavin ; Meyer, Thomas ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - Proceedings of the Ninth International Workshop pn non-Monotonic Reasoning, Action and Change (NRAC`11) Y1 - 2011 N1 - Technical Report RMIT-TR-11-02 SP - 15 EP - 22 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Niemüller, Tim A1 - Steinbauer, Gerald T1 - Team Zadeat 2010 : application for participation Y1 - 2010 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Mies, Christoph A1 - Lakemeyer, Gerhard T1 - Repairing Decision-Theoretic Policies Using Goal-Oriented Planning / Mies, Christoph ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - KI 2008: Advances in Artificial Intelligence : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings Y1 - 2008 SN - 978-3-540-85844-7 N1 - Lecture Notes in Computer Science ; 5243 SP - 267 EP - 275 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Meyer, Thomas T1 - A Brief Overview of Artificial Intelligence in South Africa JF - AI Magazine N2 - South Africa in recent years is the establishment of a number of research hubs involved in AI activities ranging from mobile robotics and computational intelligence, to knowledge representation and reasoning, and human language technologies. In this survey we take the reader through a quick tour of the research being conducted at these hubs, and touch on an initiative to maintain and extend the current level of interest in AI research in the country. Y1 - 2012 U6 - https://doi.org/10.1609/aimag.v33i1.2357 SN - 0738-4602 VL - 33 IS - 1 SP - 99 EP - 101 PB - AAAI CY - Menlo Park ER - TY - JOUR A1 - Ferrein, Alexander A1 - Marais, Stephen A1 - Potgieter, Anet A1 - Steinbauer, Gerald T1 - RoboCup Junior: A vehicle for S&T education in Africa? Y1 - 2011 SN - 978-1-61284-992-8 N1 - AFRICON, 2011 SP - 1 EP - 6 PB - IEEE CY - New York ER - TY - JOUR A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - Wie Roboter die Welt sehen : Roboterfußball im Dienst der Wissenschaft / Ferrein, Alexander ; Lakemeyer, Gerhard JF - Bild und Erkenntnis : Formen und Funktionen des Bildes in Wissenschaft und Technik / RWTH. Andreas Beyer ; Markus Lohoff (Hrsg.) Y1 - 2005 SN - 3-422-06463-X SP - 360 EP - 361 PB - Deutscher Kunstverlag CY - München ER - TY - JOUR A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - Roboterfußball - Wissenschaft, die auch Spass macht / Ferrein, Alexander ; Lakemeyer, Gerhard JF - RWTH Themen (2006) Y1 - 2006 SN - 0179-079X SP - 36 EP - 39 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Konur, Savas A1 - Lakemeyer, Gerhard T1 - Learning Decision Trees for Action Selection in Soccer Agents / Konur, Savas ; Ferrein, Alexander ; Lakemeyer, Gerhard Y1 - 2004 N1 - Proceedings of Workshop on Agents in dynamic and real-time environments SP - 1 EP - 7 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Jacobs, Stefan A1 - Schiffer, Stefan A1 - Beck, Daniel T1 - Robust Collision Avoidance in Unknown Domestic Environments / Jacobs, Stefan ; Ferrein, Alexander ; Schiffer, Stefan ; Beck, Daniel ; Lakemeyer, Gerhard JF - ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII Y1 - 2009 N1 - Lecture Notes in Computer Science ; 5949 SP - 116 EP - 127 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Jacobs, Stefan A1 - Lakemeyer, Gerhard T1 - Controlling Unreal Tournament 2004 Bots with the logic-based action language Golog / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - Proceedings of the First AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE). Y1 - 2005 SP - 151 EP - 152 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Jacobs, Stefan A1 - Lakemeyer, Gerhard T1 - Unreal Golog Bots / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - IJCAI-05 Workshop on Reasoning, Representation, and Learning in Computer Games Y1 - 2005 SP - 31 EP - 36 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Hermanns, Lutz A1 - Lakemeyer, Gerhard T1 - Comparing Sensor Fusion Techniques for Ball Position Estimation / Ferrein, Alexander ; Hermanns, Lutz ; Lakemeyer, Gerhard JF - RoboCup 2005: Robot Soccer World Cup IX Y1 - 2006 SN - 978-3-540-35437-6 N1 - Lecture Notes in Computer Science ; 4020 SP - 154 EP - 165 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Fritz, Christian A1 - Lakemeyer, Gerhard T1 - On-Line Decision-Theoretic Golog for Unpredictable Domains / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard JF - KI 2004: Advances in Artificial Intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004. Proceedings Y1 - 2004 N1 - Lecture Notes in Computer Science ; 3238 SP - 322 EP - 336 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Fritz, Christian A1 - Lakemeyer, Gerhard T1 - Using Golog for Deliberation and Team Coordination in Robotic Soccer / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard JF - Künstliche Intelligenz : KI. 19 (2005), H. 1 Y1 - 2005 SN - 0933-1875 SP - 24 EP - 30 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Fritz, Christian A1 - Lakemeyer, Gerhard T1 - Extending DTGOLOG with Options / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard JF - IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 Y1 - 2003 SP - 1391 EP - 1393 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Dylla, Frank A1 - Lakemeyer, Gerhard A1 - Murray, Jan T1 - Approaching a formal soccer theory from behaviour specifications in robotic soccer / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; Röfer, Thomas ; Schiffer, Stefan ; Stolzenburg, Frieder ; Visser, Ubbo ; Wagner, Tho JF - Computers in sport / editors: P Dabnichki Y1 - 2008 SN - 978-1-8456-4064-4 SP - 161 EP - 185 PB - WIT Press CY - Southampton ER - TY - JOUR A1 - Ferrein, Alexander A1 - Dylla, Frank A1 - Lakemeyer, Gerhard A1 - Murray, Jan T1 - Towards a League-Independent Qualitative Soccer Theory for RoboCup / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; Röfer, Thomas ; Stolzenburg, Frieder ; Visser, Ubbo JF - RoboCup 2004: Robot Soccer World Cup VIII / Daniele Nardi ... (ed.). Y1 - 2005 SN - 978-3-540-25046-8 N1 - Lecture Notes in Computer Science ; 3276 SP - 611 EP - 618 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Dylla, Frank A1 - Lakemeyer, Gerhard T1 - Specifying Multirobot Coordination in ICPGolog - From Simulation towards Real Robots / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard Y1 - 2003 N1 - AOS-4 at IJCAI-03 SP - 1 EP - 10 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Dylla, Frank A1 - Lakemeyer, Gerhard T1 - Acting and Deliberating using Golog in Robotic Soccer - A Hybrid Architecture / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002) Y1 - 2002 SP - 1 EP - 7 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Calmes, Laurent A1 - Lakemeyer, Gerhard A1 - Wagner, Hermann T1 - Von Schleiereulen und fussballspielenden Robotern / Calmes, Laurent ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Wagner, Hermann JF - RWTH Themen (2006) Y1 - 2006 SN - 0179-079X SP - 30 EP - 33 ER - TY - JOUR A1 - Ferrein, Alexander A1 - Böhnstedt, Lutz A1 - Lakemeyer, Gerhard T1 - Options in readylog reloaded -- generating decision-theoretic plan libraries in golog / Böhnstedt, Lutz ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - KI 2007: advances in artificial intelligence : 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10 - 13, 2007 ; proceedings Y1 - 2007 SN - 978-3-540-74564-8 N1 - Lecture Notes in Computer Science ; 4667 SP - 352 EP - 366 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Beck, Daniel A1 - Lakemeyer, Gerhard T1 - A Simulation Environment for Middle-Size Robots with Multi-level Abstraction / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - RoboCup 2007: Robot Soccer World Cup XI Y1 - 2007 SN - 978-3-540-68846-4 N1 - Lecture Notes in Computer Science ; 5001 SP - 136 EP - 147 PB - Springer CY - Berlin ER - TY - JOUR A1 - Ferrein, Alexander A1 - Beck, Daniel A1 - Lakemeyer, Gerhard T1 - Landmark-Based Representations for Navigating Holonomic Soccer Robots / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard JF - RoboCup 2008 : robot soccer world cup XII / Luca Iocchi ... (eds.) Y1 - 2009 SN - 978-3-642-02921-9 N1 - Lecture Notes in Computer Science ; 5399 SP - 25 EP - 36 PB - Springer CY - Heidelberg ER - TY - JOUR A1 - Ferrein, Alexander T1 - Autonome Entscheidungsfindung bei Robotern : Planwirtschaft JF - Linux-Magazin Y1 - 2004 SN - 1432-640X (Print) IS - 7 SP - 50 EP - 53 ER - TY - JOUR A1 - Ferrein, Alexander T1 - golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems Y1 - 2010 SP - 20 EP - 28 ER - TY - JOUR A1 - Ferrein, Alexander T1 - golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems JF - Cognitive Robotics / Lakemeyer, Gerhard (ed.) Y1 - 2010 N1 - Dagstuhl Seminar Proceedings ; 10081 SP - 1 EP - 15 ER - TY - JOUR A1 - Ferrein, Alexander T1 - Towards applying soccer moves in the RoboCup Standard Platform League JF - ÖGAI-Journal Y1 - 2008 SN - 0254-4326 VL - Bd. 27 IS - H. 3 SP - 4 EP - 9 ER - TY - JOUR A1 - Ferrein, Alexander T1 - Robot controllers for highly dynamic environments with real-time constraints JF - Künstliche Intelligenz : KI. 24 (2010), H. 2 Y1 - 2010 SN - 1610-1987 SP - 175 EP - 178 ER - TY - JOUR A1 - Ferrein, Alexander T1 - Logic-based robot control in highly dynamic domains / Ferrein, Alexander ; Lakemeyer, Gerhard JF - Robotics and Autonomous Systems. 56 (2008), H. 11 Y1 - 2008 SN - 0921-8890 SP - 980 EP - 991 ER - TY - JOUR A1 - Ferrein, Alexander T1 - Specifying Soccer Moves with Golog JF - Book of abstracts : Cologne, 15 - 17 September 2004 / 1st International Working Conference IT and Sport & 5th conference DVS-Section Computer Science in Sport Y1 - 2005 SN - 3-00-014576-1 N1 - International Working Conference IT and Sport 1, 2004, Köln ; Deutsche Vereinigung für Sportwissenschaft SP - 161 EP - 165 PB - German Sport Univ. CY - Köln ER - TY - JOUR A1 - Ferrein, Alexander T1 - Planwirtschaft JF - Linux Magazin (2004) Y1 - 2004 SN - 1432-640X SP - 50 EP - 53 ER - TY - JOUR A1 - Feng, Yong-Qing A1 - Seibler, Jost A1 - Alami, Raouf A1 - Eisen, Andrew A1 - Westerman, Karen A. A1 - Leboulch, Philippe A1 - Fiering, Steven A1 - Bouhassira, Eric E. T1 - Site-specific chromosomal integration in mammalian cells: highly efficient CRE recombinase-mediated cassette exchange JF - Journal of Molecular Biology Y1 - 1999 U6 - https://doi.org/10.1006/jmbi.1999.3113 SN - 0022-2836 VL - 292 IS - 4 SP - 779 EP - 785 ER - TY - JOUR A1 - Fellin, Wolfgang A1 - King, Julian A1 - Kirsch, Ansgar A1 - Oberguggenberger, Michael T1 - Uncertainty modelling and sensitivity analysis of tunnel face stability JF - Structural safety N2 - This paper proposes an approach to the choice and evaluation of engineering models with the aid of a typical application in geotechnics. An important issue in the construction of shallow tunnels, especially in weak ground conditions, is the tunnel face stability. Various theoretical and numerical models for predicting the necessary support pressure have been put forth in the literature. In this paper, we combine laboratory experiments performed at the University of Innsbruck with current methods of uncertainty and sensitivity analysis for assessing adequacy, predictive power and robustness of the models. The major issues are the handling of the twofold uncertainty of test results and of model predictions as well as the decision about what are the influential input parameters. Y1 - 2010 U6 - https://doi.org/10.1016/j.strusafe.2010.06.001 SN - 0167-4730 VL - 32 IS - 6 SP - 402 EP - 410 PB - Elsevier CY - Amsterdam ER - TY - JOUR A1 - Feldmann, Markus A1 - Pak, Daniel A1 - Geßler, Achim A1 - Schleser, Markus T1 - Entwicklung eines Bemessungsmodells für punktförmige Verbindungen textibewehrter Betonbauteile JF - Bautechnik : Zeitschrift für den gesamten Ingenieurbau Y1 - 2008 SN - 0005-6820, 0341-1052, 0932-6359, 0932-8351, 0932-8351 N1 - Printausg. in der Bibliothek der FH Aachen vorhanden: 13 Z 177 VL - Bd. 85 IS - 2 SP - 143 EP - 147 ER - TY - JOUR A1 - Feldmann, Markus A1 - Pak, Daniel A1 - Geßler, Achim A1 - Dilthey, Ulrich A1 - Schleser, Markus T1 - Bonded connections for textile reinforced concrete structures JF - Cailiao-gongcheng = Journal of materials engineering Y1 - 2006 SN - 1001-4381 IS - Special iss. SP - 123 EP - 127 ER - TY - JOUR A1 - Feldmann, Markus A1 - Döring, Bernd A1 - Kuhnhenne, Markus A1 - Sedlacek, Gerhard T1 - Zum Thema “Nachhaltigkeit” in der Stahlbauindustrie JF - Stahlbau Y1 - 2008 SN - 0038-9145 N1 - Printausg. in der Bibliothek Bayernallee vorhanden: 13 Z 181 VL - Vol. 77 IS - Iss. 10 SP - 713 EP - 720 ER - TY - JOUR A1 - Feiser, Johannes T1 - Geotechnik JF - Bautechnische Zahlentafeln : [jetzt mit neuer DIN 1052, DIN1053-1 und DIN 1054] / Wendehorst. Hrsg. von Otto W. Wetzell. Bearb. von: Herwig Baumgartner ... . 31., vollst. überb. und aktualisierte Aufl. Y1 - 2004 SN - 3-519-55002-4 N1 - Abschnitt 14 SP - 1017 EP - 1118 PB - Teubner [u.a.] CY - Stuttgart [u.a.] ER - TY - JOUR A1 - Feiser, Johannes T1 - Geotechnik JF - Bautechnische Zahlentafeln / Wendehorst, Reinhard ; Wetzell, Otto W. [Hrsg.] 32., vollst. aktualisierte Aufl. Y1 - 2007 SN - 978-3-8351-0055-8 SP - 1027 EP - 1136 PB - Teubner CY - Stuttgart ER - TY - JOUR A1 - Feiser, Johannes T1 - Geotechnik JF - Wendehorst Beispiele aus der Baupraxis / Wetzell, Otto W. ; Baumgartner, Herwig ; Wendehorst, Reinhard [Hrsg.]. Y1 - 2007 SN - 978-3-8351-0069-5 N1 - Kapitel 12 SP - 325 EP - 365 PB - Teubner CY - Wiesbaden ER - TY - JOUR A1 - Feichtinger, Linda M. A1 - Eilmann, Britta A1 - Buchmann, Nina A1 - Rigling, Andreas T1 - Growth adjustments of conifers to drought and to century-long irrigation JF - Forest Ecology and Management N2 - Our knowledge on tree responses to drought is mainly based on short-term manipulation experiments which do not capture any possible long-term adjustments in this response. Therefore, historical water channels in inner-Alpine dry valleys were used as century-long irrigation experiments to investigate adjustments in tree growth to contrasting water supply. This involved quantifying the tree-ring growth of irrigated and non-irrigated (control) Scots pine (Pinus sylvestris L.) in Valais (Switzerland), as well as European larch (Larix decidua Mill.) and black pine (Pinus nigra Arnold) in Vinschgau (Italy). Furthermore, the adjustments in radial growth of Scots pine and European larch to an abrupt stop in irrigation were analyzed. Irrigation promoted the radial growth of all tree species investigated compared to the control: (1) directly through increased soil water availability, and (2) indirectly through increased soil nutrients and humus contents in the irrigated plots. Irrigation led to a full elimination of growth responses to climate for European larch and black pine, but not for Scots pine, which might become more sensitive to drought with increasing tree size in Valais. For the control trees, the response of the latewood increment to water availability in July/August has decreased in recent decades for all species, but increased in May for Scots pine only. The sudden irrigation stop caused a drop in radial growth to a lower level for Scots pine or similar level for larch compared to the control for up to ten years. However, both tree species were then able to adjust to the new conditions and subsequently grew with similar (Scots pine) or even higher growth rates (larch) than the control. To estimate the impact of climate change on future forest development, the duration of manipulation experiments should be on longer time scales in order to capture adjustment processes and feedback mechanisms of forest ecosystems. Y1 - 2014 U6 - https://doi.org/10.1016/j.foreco.2014.08.008 SN - 1872-7042 (Online) SN - 0378-1127 (Print) VL - 2014 IS - 334 SP - 96 EP - 105 PB - Elsevier CY - Amsterdam ER - TY - JOUR A1 - Feichtinger, Linda M. A1 - Eilmann, Britta A1 - Buchmann, Nina A1 - Rigling, Andreas T1 - Trait-specific responses of Scots pine to irrigation on a short vs long time scale JF - Tree Physiology Y1 - 2015 U6 - https://doi.org/10.1093/treephys/tpu114 SN - 1758-4469 (Online) SN - 0829-318X (Print) N1 - Ab 12 Monaten nach Veröffentlichung kostenfrei zugänglich. VL - 35 IS - 00 SP - 1 EP - 12 PB - Heron CY - Victoria, BC 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 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 - 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 - 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 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 -