Most searched books

Archives

Bibliography on Abstract Data Types by B. Kutzler

By B. Kutzler

Subsidized by means of the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", undertaking nr. P4567

Show description

Read Online or Download Bibliography on Abstract Data Types PDF

Best abstract books

Function Algebras on Finite Sets. A Basic Course on Many-Valued Logic and Clone Theory

Functionality Algebras on Finite units supplies a large advent to the topic, best as much as the innovative of study. the overall techniques of the common Algebra are given within the first a part of the booklet, to familiarize the reader from the very starting on with the algebraic aspect of functionality algebras.

Real Numbers, Generalizations of the Reals, and Theories of Continua

Because their visual appeal within the overdue nineteenth century, the Cantor--Dedekind concept of actual numbers and philosophy of the continuum have emerged as pillars of normal mathematical philosophy. however, this era additionally witnessed the emergence of a number of substitute theories of genuine numbers and corresponding theories of continua, in addition to non-Archimedean geometry, non-standard research, and a few very important generalizations of the method of genuine numbers, a few of that have been defined as mathematics continua of 1 sort or one other.

Axiomatic Method and Category Theory

This quantity explores the numerous diverse meanings of the proposal of the axiomatic process, delivering an insightful old and philosophical dialogue approximately how those notions replaced over the millennia. the writer, a widely known thinker and historian of arithmetic, first examines Euclid, who's thought of the daddy of the axiomatic technique, ahead of relocating onto Hilbert and Lawvere.

Abstract harmonic analysis, v.1. Structure of topological groups. Integration theory

After we acce pted th ekindinvitationof Prof. Dr. F. okay. Scnxmrrto write a monographon summary harmonic research for the Grundlehren. der Maihemaiischen Wissenscha/ten series,weintendedto writeall that wecouldfindoutaboutthesubjectin a textof approximately 600printedpages. We meant thatour booklet may be accessi ble tobeginners,and we was hoping to makeit usefulto experts to boot.

Additional info for Bibliography on Abstract Data Types

Sample text

RWTH Aachen, Schriften zur Angewandten Mathematik und Informatik 78 + TCS. , 1982 d. EinfUhrung in die abstrakte Software-Spezifikation. RWTH Aachen, Schriften zur Angewandten Mathematik und Informatik 75. , 1983. Algebraische Spezifikation - Eine EinfUhrung. Springer Lehrbuchreihe Informatik. , 1970. Simple Word Problems in Universal Algebras. ): 'Computational Problems in Abstract Algebra', pp. 263-297, Pergamon Press. , 1979. SPEZI - Eine Sprache zur Formulierung von Spezifikationen. TU Berlin, FB Informatik, Bericht Nr.

1974. Data Types and Structures. Univ. of Toronto, DCS, TR 61. , 1981. On Data Types and their Specification Problem - Part 2: A Specification Method. Softlab GmbH, Bericht. , 1982 a. A Data Type Theory. Sigplan No~ices, vol. 17, no. 5, pp. 47-53. , 1982 b. Nochmals: Was ist ein abstrakter Datentyp 1. Angewandte Informatik, vol. 3, p. 204, leserbrief. , 1977. Some Ideas on Data Types in High-level languages. CACM, vol. 20, no. 6, pp. 414-420 + Abstract in Sigplan Notices, vol. 8, no. 2, p. 120.

TU Berlin, FB Informatik, Skriptum zur Lehrveranstaltung 'Theorie von Datenstrukturen'. , 1979 a. Algebraische Implementierung Abstrakter Datentypen. TU Berlin, FB Informatik, Bericht Nr. 79-03. , 1979 b. Algebraic Implementation of Abstract Data Types: An Announcement. Sigact News, vol. 11, no. 2, pp. 25-29. , 1979 c. Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. TU Berlin, FB Informatik, Bericht Nr. 79-23 + short version in: Proc. ICALP'80, LNCS 85, pp.

Download PDF sample

Rated 4.00 of 5 – based on 9 votes

Comments are closed.