Calculating a Functional Module for Binary Search Trees.
Title | Calculating a Functional Module for Binary Search Trees. |
Publication Type | Journal Article |
Year of Publication | 1997 |
Authors | Dosch, W, Möller, B |
Bibtex:
@article {690, title = {Calculating a Functional Module for Binary Search Trees.}, year = {1997}, note = {In: W. Kluge (ed.): Implementation of Functional Languages. 8th International Workshop IFL{\textquoteright}96, Bad Godesberg, September 16-18, 1996. Lecture Notes in Computer Science 1268. Berlin: Springer 1997, 267-284 [ISBN 3-540-63237-9]}, author = {W. Dosch and B. M{\"o}ller} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact