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.

11 Publications


1983 | Conference Paper | LibreCat-ID: 8255
M. Nagl, G. Engels, R. Gall, and W. Schäfer, “Software Specification by Graph Grammars,” in Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 1983, vol. 153, pp. 267–287.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7411
G. Engels, R. Gall, M. Nagl, and W. Schäfer, “Software Specification Using Graph Grammars,” Computing, vol. 31, no. 4, pp. 317–346, 1983.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7412
G. Engels, U. Pletat, and H.-D. Ehrich, “An Operational Semantics for Specifications of Abstract Data Types with Error Handling,” Acta Informatica, vol. 9, no. 3, pp. 235–254, 1983.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16806
F. Meyer auf der Heide, “Efficiency of universal parallel computers,” Acta Informatica, pp. 269–296, 1983.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16807
P. Klein and F. Meyer auf der Heide, “A lower time bound for the knapsack problem on random access machines,” Acta Informatica, pp. 385–395, 1983.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16808
F. Meyer auf der Heide, “Infinite cube-connected cycles,” Information Processing Letters, pp. 1–2, 1983.
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 16809
F. Meyer auf der Heide, “A polynomial linear search algorithm for the n-dimensional knapsack problem,” in Proceedings of the fifteenth annual ACM symposium on Theory of computing  - STOC ’83, 1983.
LibreCat | DOI
 

1983 | Book Chapter | LibreCat-ID: 16810
F. Meyer auf der Heide, “Efficiency of universal parallel computers,” in Lecture Notes in Computer Science, Berlin/Heidelberg, 1983.
LibreCat | DOI
 

1983 | Book Chapter | LibreCat-ID: 56731
R. Biehler, “The mathematization of situations outside mathematics from an educational point of view,” in Proceedings of the Fourth International Congress on Mathematical Education, M. Zweng, Ed. Boston: Birkhäuser, 1983, pp. 291–293.
LibreCat
 

1983 | Book Chapter | LibreCat-ID: 56733
R. Biehler, U. Beck, and G. Kaiser, “Review of Applications in School Mathematics: National Report Federal Republic of Germany,” in An International Review of Applications in School Mathematics: the Elusive El Dorado, H. Burkhardt, Ed. Columbus: ERIC, 1983, pp. 68–93.
LibreCat
 

1983 | Book Chapter | LibreCat-ID: 56732
R. Biehler, “Explorative Datenanalyse - Neue Impulse für den Mathematikunterricht?,” in Beiträge zum Mathematikunterricht 1983, Bad Salzdetfurth: Franzbecker, 1983, pp. 72–75.
LibreCat
 

Filters and Search Terms

year=1983

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed