Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9676 Publications
1983 | Journal Article | LibreCat-ID: 7412
@article{Engels_Pletat_Ehrich_1983, title={An Operational Semantics for Specifications of Abstract Data Types with Error Handling}, volume={9}, DOI={http://dx.doi.org/10.1007/BF00265557}, number={3}, journal={Acta Informatica}, author={Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich}, year={1983}, pages={235–254} }
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 16806
@article{Meyer auf der Heide_1983, title={Efficiency of universal parallel computers}, DOI={10.1007/bf00265559}, journal={Acta Informatica}, author={Meyer auf der Heide, Friedhelm}, year={1983}, pages={269–296} }
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 16807
@article{Klein_Meyer auf der Heide_1983, title={A lower time bound for the knapsack problem on random access machines}, DOI={10.1007/bf00290735}, journal={Acta Informatica}, author={Klein, Peter and Meyer auf der Heide, Friedhelm}, year={1983}, pages={385–395} }
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 16808
@article{Meyer auf der Heide_1983, title={Infinite cube-connected cycles}, DOI={10.1016/0020-0190(83)90001-7}, journal={Information Processing Letters}, author={Meyer auf der Heide, Friedhelm}, year={1983}, pages={1–2} }
LibreCat
| DOI
1983 | Conference Paper | LibreCat-ID: 16809
@inproceedings{Meyer auf der Heide_1983, title={A polynomial linear search algorithm for the n-dimensional knapsack problem}, DOI={10.1145/800061.808734}, booktitle={Proceedings of the fifteenth annual ACM symposium on Theory of computing - STOC ’83}, author={Meyer auf der Heide, Friedhelm}, year={1983} }
LibreCat
| DOI
1983 | Book Chapter | LibreCat-ID: 16810
@inbook{Meyer auf der Heide_1983, place={Berlin/Heidelberg}, title={Efficiency of universal parallel computers}, DOI={10.1007/bfb0036483}, booktitle={Lecture Notes in Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1983} }
LibreCat
| DOI
1983 | Book Chapter | LibreCat-ID: 56731
@inbook{Biehler_1983, place={Boston}, title={The mathematization of situations outside mathematics from an educational point of view}, booktitle={Proceedings of the Fourth International Congress on Mathematical Education}, publisher={Birkhäuser}, author={Biehler, Rolf}, editor={Zweng, M.}, year={1983}, pages={291–293} }
LibreCat
1983 | Book Chapter | LibreCat-ID: 56733
@inbook{Biehler_Beck_Kaiser_1983, place={Columbus}, title={Review of Applications in School Mathematics: National Report Federal Republic of Germany}, booktitle={An International Review of Applications in School Mathematics: the Elusive El Dorado}, publisher={ERIC}, author={Biehler, Rolf and Beck, U. and Kaiser, G.}, editor={Burkhardt, H.}, year={1983}, pages={68–93} }
LibreCat
1983 | Book Chapter | LibreCat-ID: 56732
@inbook{Biehler_1983, place={Bad Salzdetfurth}, title={Explorative Datenanalyse - Neue Impulse für den Mathematikunterricht?}, booktitle={Beiträge zum Mathematikunterricht 1983}, publisher={Franzbecker}, author={Biehler, Rolf}, year={1983}, pages={72–75} }
LibreCat
1982 | Conference Paper | LibreCat-ID: 7811
@inproceedings{Engels_Schäfer_1982, place={München/Leipzig}, title={Specification of a Programming Support Environment by Graph Grammars}, booktitle={Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)}, publisher={Hanser}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1982}, pages={47–62} }
LibreCat
1982 | Conference Paper | LibreCat-ID: 7812
@inproceedings{Pletat_Engels_Ehrich_1982, title={An Operational Approach to Conditional Algebraic Specifications}, volume={82}, booktitle={Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1982}, pages={254–270} }
LibreCat
1982 | Book | LibreCat-ID: 29933 | 
@book{Böcker_1982, title={Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme}, publisher={Institut für Regelungstechnik, TU Berlin}, author={Böcker, Joachim}, year={1982} }
LibreCat
| Files available
1982 | Journal Article | LibreCat-ID: 56250
@article{Biehler_1982, title={The role of applications of mathematics in the theory and practice of mathematics education in the Federal Republic of Germany - a report on literature, projects, and ideas}, volume={13}, number={2}, journal={International Journal of Mathematics Education in Science and Technology}, author={Biehler, Rolf}, year={1982}, pages={199–216} }
LibreCat
| Download (ext.)
1982 | Journal Article | LibreCat-ID: 56729
@article{Biehler_1982, title={Explorative Datenanalyse: eine Untersuchung aus der Perspektive einer deskriptiv-empirischen Wissenschaftstheorie}, journal={IDM Materialien und Studien 24}, publisher={Universität Bielefeld, Institut für Didaktik der Mathematik}, author={Biehler, Rolf}, year={1982} }
LibreCat
1982 | Book Chapter | LibreCat-ID: 56730
@inbook{Biehler_Steinbring_1982, place={Köln}, title={Bernoullis Theorem: Eine „Erklärung “für das empirische Gesetz der großen Zahlen?}, booktitle={Mathematik Philosophie Bildung}, publisher={Aulis}, author={Biehler, Rolf and Steinbring, H}, editor={Steiner, H.-G.}, year={1982}, pages={296–334} }
LibreCat
1981 | Report | LibreCat-ID: 8184
@book{Engels_Pletat_Ehrich_1981, title={Handling Errors and Exceptions in the Algebraic Specifications of Data Types}, publisher={University of Osnabrück}, author={Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich}, year={1981} }
LibreCat
1981 | Report | LibreCat-ID: 8185
@book{Pletat_Engels_Ehrich_1981, title={Operational Semantics of Algebraic Specifications with Conditional Equations}, publisher={University of Dortmund, Department of Computer Science}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1981} }
LibreCat
1981 | Book Chapter | LibreCat-ID: 16813
@inbook{Meyer auf der Heide_Rollik_1981, place={Berlin, Heidelberg}, title={Random access machines and straight-line programs}, DOI={10.1007/3-540-10854-8_29}, booktitle={Fundamentals of Computation Theory}, author={Meyer auf der Heide, Friedhelm and Rollik, Anton}, year={1981} }
LibreCat
| DOI
1981 | Book Chapter | LibreCat-ID: 16814
@inbook{Meyer auf der Heide_1981, place={Berlin, Heidelberg}, title={Time-processor trade-offs for universal parallel computers}, DOI={10.1007/3-540-10856-4_111}, booktitle={Lecture Notes in Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1981} }
LibreCat
| DOI
1981 | Journal Article | LibreCat-ID: 16820
@article{Meyer auf der Heide_1981, title={A comparison of two variations of a pebble game on graphs}, DOI={10.1016/s0304-3975(81)80004-7}, journal={Theoretical Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1981}, pages={315–322} }
LibreCat
| DOI