Relational and Kleene-Algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers

著者

• Berghammer, Rudolf
• Möller, Bernhard
• Struth, Georg
• RelMiCS
• International Workshop on Applications of Kleene Algebra

書誌事項

Relational and Kleene-Algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers

Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)

（Lecture notes in computer science, 3051）

Springer, c2004

注記

Includes bibliographical references and index

Includes photo of Armando Haeberer

詳細情報

• NII書誌ID(NCID): BA67940345
• ISBN:
  • 354022145X
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: x, 277 p.
• 大きさ: 24 cm
• 親書誌ID:
  • BA00009279