close
1.

電子ブック
ＥＢ
1. Relational and Kleene-Algebraic Methods in Computer Science
International Seminar on Relational Methods in Computer Science, Rudolf Berghammer, Bernhard Möller, Georg Struth
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2004
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Relations and Kleene Algebra in Computer Science
Rudolf Berghammer, Takeo Kanade, Bernhard Möller, Georg Struth
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Relations and Kleene Algebra in Computer Science
Rudolf Berghammer, Ali Mohamed Jaoua, Takeo Kanade, Bernhard Möller, Ali Jaoua
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Mathematics of Program Construction
MPC 2002, Eerke Boiten, Bernhard Möller
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2002
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm / Robert Giegerich ; Peter Steffen
Some Results in Dynamic Model Theory / Dexter Kozen
Mathematics in Computer Science Curricula / Jeannette M. Wing
Contributed Papers
Logical Relations and Galois Connections / Kevin Backhouse ; Roland Backhouse
Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications / Juan Eduardo Duran
Fine Control of Demand in Haskell / William Harrison ; Tim Sheard ; James Hook
Reasoning about Timeouts / Ian J. Hayes
Eternity Variables to Simulate Specifications / Wim H. Hesselink
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming / Ralf Hinze
Type-Indexed Data Types / Johan Jeuring ; Andres Loh
Verification of JavaÆs AbstractCollection Class: A Case Study / Marieke Huisman
Solving Regular Path Queries / Yanhong A. Liu ; Fuxiang Yu
Inverting Functions as Folds / Shin-Cheng Mu ; Richard Bird
From Kleene Algebra to Refinement Algebra / Joakim von Wright
Author Index
Invited Talks
Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm / Robert Giegerich ; Peter Steffen
Some Results in Dynamic Model Theory / Dexter Kozen
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼