STACS 88
STACS 88

Author: Robert Cori

Publisher: Springer Science & Business Media

Published: 1988-01-27

Total Pages: 420

ISBN-13: 9783540188346

DOWNLOAD EBOOK

This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism.

STACS 93
STACS 93

Author: Patrice Enjalbert

Publisher: Springer Science & Business Media

Published: 1993-02-19

Total Pages: 744

ISBN-13: 9783540565031

DOWNLOAD EBOOK

This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany and France, and organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI) and theSpecial Interest Group for Applied Mathematics of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (afcet). The volume includes the three invited talks which opened the three days of the symposium: "Causal and distributed semantics for concurrent processes" (I. Castellani), "Parallel architectures: design and efficient use" (B. Monien et al.), and "Transparent proofs" (L. Babai). The selection of contributed papers is organized into parts on: computational complexity, logic in computer science, efficient algorithms, parallel and distributed computation, language theory, computational geometry, automata theory, semantics and logic of programming languages, automata theory and logic, circuit complexity, omega-automata, non-classical complexity, learning theory and cryptography, and systems.

Concurrency 88
Concurrency 88

Author: Friedrich H. Vogt

Publisher: Springer Science & Business Media

Published: 1988-10-12

Total Pages: 412

ISBN-13: 9783540504030

DOWNLOAD EBOOK

This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great interest in the field of formal methods as a means of mastering the complexity of distributed systems. In addition, the impulse was determined by the fact that the various methodological approaches, such as constructive or property oriented methods, have not had an extensive comparative analysis nor have they been investigated with respect to their possible integration and their practical implications. The following topics were addressed: Specification Languages, Models for Distributed Systems, Verification and Validation, Knowledge Based Protocol Modeling, Fault Tolerance, Distributed Databases. The volume contains 12 invited papers and 14 contributions selected by the program committee. They were presented by authors from Austria, the Federal Republic of Germany, France, Israel, Italy, the Netherlands, the United Kingdom and the United States.

ICDT '88
ICDT '88

Author: M. Gyssens (Marc)

Publisher: Springer Science & Business Media

Published: 1988-08-17

Total Pages: 420

ISBN-13: 9783540501718

DOWNLOAD EBOOK

This volume is the proceedings of the second International Conference on Database Theory (ICDT) held in Bruges, Belgium, August 31 - September 2, 1988. ICDT intends to provide a European forum for the international research community working on theoretical issues related to database and knowledge base systems. The proceedings of this conference contain all invited and accepted papers, which represent the latest results obtained in ongoing research in database theory worldwide. Most major themes of research in database theory are covered in ICDT '88: the relational model, logic and databases, object-oriented databases, deductive databases, conceptual models, analysis and design of data structures, query languages, concurrency control and updates and transactions.

STACS 94
STACS 94

Author: Patrice Enjalbert

Publisher: Springer Science & Business Media

Published: 1994-02-09

Total Pages: 802

ISBN-13: 9783540577850

DOWNLOAD EBOOK

This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prominent invited papers, the proceedings contains 60 accepted contributions chosen by the international program committee during a highly competitive reviewing process from a total of 234 submissions for 38 countries. The volume competently represents most areas of theoretical computer science with a certain emphasis on (parallel) algorithms and complexity.

MFDBS 89
MFDBS 89

Author: Janos Demetrovics

Publisher: Springer Science & Business Media

Published: 1989-05-30

Total Pages: 438

ISBN-13: 9783540512516

DOWNLOAD EBOOK

This volume is a collection of the most important contributions presented at the second MFDBS conference held in Visegrád, Hungary, June 26-30, 1989. The papers selected from more than one hundred submissions, originating from 23 countries in 4 continents, can be roughly divided into the following sections: theoretical fundamentals of relational databases, logical foundations and databases, data modelling, database design, deductive databases, transaction management and security, concurrency control and distributed databases. The volume reflects the current state of knowledge and is a guide to further development in database theory.

Logic at Botik '89
Logic at Botik '89

Author: Albert R. Meyer

Publisher: Springer Science & Business Media

Published: 1989-06-07

Total Pages: 310

ISBN-13: 9783540512370

DOWNLOAD EBOOK

The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

Author: Llorenc Huguet

Publisher: Springer Science & Business Media

Published: 1989-06-14

Total Pages: 428

ISBN-13: 9783540510826

DOWNLOAD EBOOK

The present volume contains the proceedings of the AAECC-5 Conference held at Menorca (Balearic Islands), June 15-19, 1987. The annual International AAECC Conference covers a range of topics related to Applied Algebra, Error-Correcting Codes, Finite Algebraic Structures, Computational Methods and Complexity in Algebra and Geometry. For the AAECC-5 Conference 73 papers were presented. Out of these thirty papers were selected for publication in the proceedings. They deal with topics such as error correcting codes (concerning problems of covering radius, decoding methods, expert systems and general results in coding theory), computational algebra, Gröbner basis, complexity, finite algebra and graphs. The proceedings of the 6th conference are published as Vol. 357 of the Lecture Notes in Computer Science.

STACS 95
STACS 95

Author: Ernst W. Mayr

Publisher: Springer Science & Business Media

Published: 1995-02-15

Total Pages: 698

ISBN-13: 9783540590422

DOWNLOAD EBOOK

This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995. Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributions address all current aspects of theoretical computer science; they are organized in sections on complexity theory, automata theory, algorithms, logic, theory of parallel computing, communication theory, graph theory and databases, and computational geometry.

Applied Algebra, Algebraic Algorithms, and Error-correcting Codes
Applied Algebra, Algebraic Algorithms, and Error-correcting Codes

Author: Teo Mora

Publisher: Springer Science & Business Media

Published: 1989-05-23

Total Pages: 496

ISBN-13: 9783540510833

DOWNLOAD EBOOK

In 1988, for the first time, the two international conferences AAECC-6 and ISSAC'88 (International Symposium on Symbolic and Algebraic Computation, see Lecture Notes in Computer Science 358) have taken place as a Joint Conference in Rome, July 4-8, 1988. The topics of the two conferences are in fact widely related to each other and the Joint Conference presented a good occasion for the two research communities to meet and share scientific experiences and results. The proceedings of the AAECC-6 are included in this volume. The main topics are: Applied Algebra, Theory and Application of Error-Correcting Codes, Cryptography, Complexity, Algebra Based Methods and Applications in Symbolic Computing and Computer Algebra, and Algebraic Methods and Applications for Advanced Information Processing. Twelve invited papers on subjects of common interest for the two conferences are divided between this volume and the succeeding Lecture Notes volume devoted to ISSACC'88. The proceedings of the 5th conference are published as Vol. 356 of the Lecture Notes in Computer Science.