close
1.

電子ブック
ＥＢ
1. Higher-Order Algebra, Logic, and Term Rewriting
Heering, J. Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1994
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Higher-Order Algebra, Logic, and Term Rewriting
Dowek, Gilles Dowek, J. Heering, Karl Meinke, Bernhard Möller
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1996
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. 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…
4.

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

電子ブック
ＥＢ
5. 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…
6.

電子ブック
ＥＢ
6. Prospects for Hardware Foundations
Bernhard Möller, Bernhard Möller, John V. Tucker
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1998
所蔵情報: loading…
目次情報: 続きを見る
Introduction: NADA and NIL The NADA Group
Mathematical Foundations / I：
Streams, Stream Transformers and Domain Representations / J. Blanck ; V. Stoltenberg-Hansen ; J. V. Tucker
Ideal Stream Algebra / B. Möller
Normalisation by Evaluation / U. Berger ; M. Eberl ; H. Schwichtenberg
Hardware and Dynamical Systems / II：
Algebraic Models of Superscalar Microprocessor Implementations: A Case Study / A.C.J. Fox ; N.A. Harman
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms / M.J. Poole ; A.V. Holden ; J.V. Tucker
Towards an Algebraic Speci cation of the Java Virtual Machine / K. Stephenson
Grid Protocol Speci cations / J. A. Bergstra ; A. Ponse
The Computational Description of Analogue System Behaviour / P.T. Breuer ; N. Martínez Madrid ; C. Delgado Kloos
Verification and Deductive Design / III：
Reasoning about Imperfect Digital Systems / K. Hanna
F ormal Veri cation and Hardware Design with Statecharts / J. Philipps ; P. Scholz
An Exercise in Conditional Re nement / K. Stølen ; M. Fuchs
Deductive Hardware Design: A Functional Approach / B Möller
Introduction: NADA and NIL The NADA Group
Mathematical Foundations / I：
Streams, Stream Transformers and Domain Representations / J. Blanck ; V. Stoltenberg-Hansen ; J. V. Tucker
7.

電子ブック
ＥＢ
7. 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
8.

電子ブック
ＥＢ
8. Mathematics of Program Construction
International Conference on the Mathematics of Program Construction, Bernhard Möller
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1995
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼