Biblio | IfIS: Institute for Information Systems at Technische Universität Braunschweig

Biblio

List
Filter

Export 680 results:

Sort by: Author Keyword Title Type [ Year

]

1978

Ehrich, H. - D., "Extensions and Implementations of Abstract Data Type Specifications", Proc. 7th MFCS: Springer LNCS 64, pages 155–164, 1978. Abstract

Download: 1978MFCS.pdf (217.71 KB)

1977

Ehrich, H. - D., "Algebraic Semantics of Type Definitions and Structured Variables", Proc. FCT’77: Springer LNCS 56, 1977. Abstract

Download: 1977FCT.pdf (283.25 KB)

1976

Ehrich, H. - D., "An Axiomatic Approach to Information Structures", Proc. 5th MFCS: Springer, LNCS 45, pp 277-283, 1976. Abstract

Download: 1976MFCS.pdf (364.21 KB)

Ehrich, H. - D., "Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte", Graphensprachen und Algorithmen auf Graphen: Hanser, Appl. Comp. Sc. 1, pages 143–161, 1976. Abstract

Download: 1976Graphen1.pdf (522.3 KB)

Ehrich, H. - D., "Eine Mathematische Semantik für die Beschreibung von Datenstrukturen", Graphen, Algorithmen, Datenstrukturen: Hanser Appl Comp. Sc. 4, pp 53-64, 1976. Abstract

Download: 1976Graphen2.pdf (716.42 KB)

Ehrich, H. - D., and J. W. Lipski, "On the Storage Space Requirement of Consecutive Retrieval with Redundancy", Information Processing Letters, vol. 4 (4), pp. 101-104, 1976.

Download: 1976ConsecRetrieval.pdf (168.16 KB)

Ehrich, H. - D., "Outline of an Algebraic Theory of Structured Objects", Proc. 3rd ICALP, pages 508-530: Edinburgh University Press, 1976. Abstract

Download: 1976EdinBurgh.pdf (966.41 KB)

1975

Ehrich, H. - D., "Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata", Acta Informatica, vol. 4: Springer, pp. 201-211, 1975. Abstract

Download: 1975Acta1.pdf (409.11 KB)

Ehrich, H. - D., "Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme", Acta Informatica, vol. 4: Springer, pp. 299-310, 1975. Abstract

Download: 1975Acta2.pdf (425.6 KB)

1974

Ehrich, H. - D., "Theory of Direct-Access Storage Functions", Proc. IFIP'74 Congress, pp 647-651: North-Holland, 1974. Abstract

Download: 1974IFIP.pdf (217.89 KB)

1973

Ehrich, H. - D., "Datenstrukturen und Q-Systeme - eine Mathematische Studie", Proc. 3. Jahrestagung der GI: Springer, LNCS 1, pp363-371, 1973. Abstract

Download: 1973GIJahrestagung.pdf (834.06 KB)

Ehrich, H. - D., "Minimale und rn-minimale Variablenmengen für partielle Boole'sche Funktionen", Acta Informatica, vol. 2: Springer, pp. 172-179, 1973. Abstract

Download: 1973Acta.pdf (273.93 KB)

1972

Ehrich, H. - D., "A Note on State Minimization of a Special Class of lncomplete Sequential Machines", IEEE Transactions on Computers, vol. C-21, No. 5: The Institute of Electrical and Electronics Engineers, Inc., pp. 500-502, 1972. Abstract

Download: 1972IEEE-C-21.pdf (144.06 KB)

1970

Ehrich, H. - D., "Über eine Reduktionsmöglichkeit gewisser Überdeckungsprobleme", Automatentheorie und Formale Sprachen, Bericht Nr. 3 einer Tagung des Mathematischen Forschungsinstituts Oberwolfach, Oktober 1969: Bibliographisches Institut Mannheim, 1970. Abstract

Download: 1970MFO3.pdf (725.62 KB)

1968

Bieger, D., H. - D. Ehrich, and O. Wassermann, "Ein ALGOL-Programm zur rechnerischen Trennung nahe benachbarter Ionisationskonstanten nach Britton", Arzneim.-Forsch. (Drug Res.), vol. 18: Editio Cantor KG, pp. 373-377 , 1968. Abstract

Download: 1968DrugResearch.pdf (450.68 KB)