Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)

Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------.

(Lecture Notes in Computer Science ; 4988)

Call No. (NDL): M17-08-1262
Bibliographic ID of National Diet Library: 000009372419

Material type: 図書

Author: Berghammer, R. (Rudolf) , 1952-ほか

Publisher: Springer

Publication date: c2008.

Material Format: Paper

Capacity, size, etc.: x, 396 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and an abstract.Held in Frauenworth on an island in Lake Chiem in Bavaria, Germany.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783540789123 (ISBN-13 : softcover : alk. paper)
354078912X (softcover : alk. paper)
ISSN (series): 0302-9743
Title: Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------.
Series Title: Lecture Notes in Computer Science ; 4988
Author Heading: Berghammer, R. (Rudolf) , 1952-
Möller, Bernhard, 1953-
Struth, Georg.
International Seminar on Relational Methods in Computer Science (10th : 2008 : Frauenworth, Germany)
International Workshop on Applications of Kleene Algebra (5th : 2008 : Frauenworth, Germany)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2008.
Publication Date (W3CDTF): 2008
Extent: x, 396 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Relation algebras -- Congresses.
Algebraic logic -- Congresses.
Computer science -- Mathematics -- Congresses.
LCC: QA10
NDLC: M17
Note (General): Papers and an abstract.
Held in Frauenworth on an island in Lake Chiem in Bavaria, Germany.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-08-1262
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009372419
http://id.ndl.go.jp/bib/000009372419
LC Control Number: 2008923359
https://lccn.loc.gov/2008923359
OCLC No.: 221131097
https://www.worldcat.org/oclc/221131097
Bibliographic Record Category (NDL): 215