Back to Search

Categorical Methods in Computer Science: With Aspects from Topology

PUBLISHER Springer (10/11/1989)
PRODUCT TYPE Paperback (Paperback)

Description
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.
Show More
Product Format
Product Details
ISBN-13: 9783540517221
ISBN-10: 3540517227
Binding: Paperback or Softback (Trade Paperback (Us))
Content Language: English
More Product Details
Page Count: 354
Carton Quantity: 24
Product Dimensions: 6.14 x 0.75 x 9.21 inches
Weight: 1.12 pound(s)
Country of Origin: DE
Subject Information
BISAC Categories
Computers | Machine Theory
Computers | Logic Design
Computers | Computer Science
Dewey Decimal: 004.015
Descriptions, Reviews, Etc.
publisher marketing
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.
Show More

Editor: Kreowski, Hans-Jorg
Hans-Dietrich Haasis is full professor for Business Administration, Production Management and Industrial Economics at the University of Bremen and chairman of Business Administration, Production-Management and Industrial Economics, University of Bremen, and director of the ISL - Institute of Shipping Economics and Logistics, Bremen. He held lectures at the Ecole Nationale Superieure de Petrole et des Moteurs, Paris Rueil-Malmaison, at the University Eichstatt-Ingolstadt, and at the Private University Witten-Herdecke. He also was invited to give lectures at the St. Petersburg State University of Economics and Finance, and the Technical University of Changcha, China.

Hans-Jorg Kreowski is professor for Theoretical Computer Science at the University of Bremen. His main research topics are graph transformation, formal modelling and their applications in computer science and logistics. He (co)-authored and (co)-edited 15 books and published more than 120 scientific papers.

Bernd Scholz-Reiter was founder and head of the Fraunhofer Application Center for Logistics Systems Planning and Information Systems at Cottbus. Since November 2000 he is a full professor and chair holder of the chair of Planning and Control of Production Systems (PSPS) at the University of Bremen where he also serves as director of the Bremen Institute of Industrial Technology and Applied Work Science (BIBA). He was initiator and vice-speaker of the research group on Autonomous Control of Logistic Processes, speaker of the Bremen Research Cluster for Dynamics in Logistics as well as speaker of the International Graduate School for Dynamics in Logistics. Scholz-Reiter is an ordinary member of theBerlin-Brandenburg Academy of Sciences and Humanities, an ordinary member of acatech, the Council for Engineering Sciences at the Union of the German Academies of Sciences and Humanities; BESIDE OTHER NATIONAL MEMBERSHIIPS he is a member of CIRP, the International Institution for Production Engineering Research, a fellow of the European Academy of Industrial Management (AIM) and an Advisory Board member of the Schlesinger Laboratory at TECHNION - Israel Institute of Technology, Haifa, Israel, as well as a member of the Scientific Advisory Board of the German Logistics Association (BVL). Professor Scholz-Reiter serves as vice president of the German Research Foundation (Deutsche Forschungsgemeinschaft, DFG). He is editor of the professional journals Industrie-Management and PPS-Management and member of the editorial board of the scientific International Journal Production Planning & Control. He is author and co-author of more than 250 scientific publications..

Show More

Editor: Ehrig, Hartmut
The first author, Prof. Hartmut Ehrig, has been one of the key figures in this specific field over the last few decades.

He has written over 200 articles for refereed publications in the last 30 years (http: //www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Ehrig: Hartmut.html).

He has edited many LNCS proceedings volumes over the last 20 years, including: LNCS 3393 (http: //www.springer.com/3-540-24936-2), LNCS 3256 (http: //www.springer.com/3-540-23207-9), LNCS 3147 (http: //www.springer.com/3-540-23135-8), LNCS 2505 (http: //www.springer.com/3-540-44310-X), LNCS 2472 (http: //www.springer.com/3-540-20538-1), LNCS 2128 (http: //www.springer.com/3-540-43067-9), LNCS 1764 (http: //www.springer.com/3-540-67203-6), LNCS 1073 (http: //www.springer.com/3-540-61228-9), LNCS 776 (http: //www.springer.com/3-540-57787-4), LNCS 534 (http: //www.springer.com/3-540-54496-8), LNCS 532 (http: //www.springer.com/3-540-54478-X), LNCS 393 (http: //www.springer.com/3-540-51722-7), LNCS 291 (http: //www.springer.com/3-540-18771-5). These LNCS volumes deal with his particular areas of expertise: Petri nets, graph transformations, category theory, graph grammars, type specification, and software modelling and specification techniques.

He was the subject of the recent LNCS Festschrift: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, LNCS 3393, Kreowski et al., 2005 (http: //www.springer.com/3-540-24936-2).

Prof. Ehrig wrote two previous books for Springer's EATCS series: (i) "Fundamentals of Algebraic Specification 2 -- Module Specifications and Constraints," EATCS Monographs Series, Hartmut Ehrig, Bernd Mahr, 1990, http: //www.springer.com/3-540-51799-5; this sold 1151 copies. (ii) "Fundamentals of Algebraic Specification 1 -- Equations and Initial Semantics," EATCS Monographs Series, Hartmut Ehrig, Bernd Mahr, http: //www.springer.com/3-540-13718-1.

He has been a key promoter of the relevant research area of the book in various EU-funded projects, including COMPUGRAPH (http: //www.sts.tu-harburg.de/projects/Esprit-BR/Synopses/Projects/7183.html).

Finally, Prof. Ehrig was among the coeditors of the World Scientific "Handbook of Graph Grammars and Computing by Graph Transformation."

The fourth author, Dr. Gabriele Taentzer, has written over 50 articles for refereed publications in the last 15 years (http: //www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Taentzer: Gabriele.html), including the ACM Computing Surveys paper "Graphical Representation and Graph Transformation." Dr. Taentzer is on the Program and Steering Committees of a number of key, relevant conferences (FASE 2006, ICGT 2006), etc.

Further Notes: Prof. Dr. Hartmut Ehrig, TU Berlin, http: //tfs.cs.tu-berlin.de/; Karsten Ehrig, TU Berlin, http: //tfs.cs.tu-berlin.de/~karstene; Ulrike Prange, TU Berlin, http: //tfs.cs.tu-berlin.de/~uprange; Dr. Gabriele Taentzer, TU Berlin, http: //tfs.cs.tu-berlin.de/~gabi.

Show More
List Price $54.99
Your Price  $54.44
Paperback