close
1.

図書

図書
K. Pingali ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995  xi, 496 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 892
所蔵情報: loading…
2.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture ; in coorperation with NASA/Goddard Space Flight Center, University of Maryland Institute for Advanced Computer Studies, George Mason University
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1995  xvi, 539 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
editor, M.H. Hamza
出版情報: Anaheim, CA : IASTED-ACTA Press, c1995  iii, 530 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Distributed Computing, IEEE Computer Society Dallas Chapter
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1995  xvii, 724 p. ; 29 cm
所蔵情報: loading…
5.

図書

図書
edited by Alban Ponse, Maarten de Rijke & Yde Venema
出版情報: Stanford, Calif. : Center for the Study of Language and Information, c1995  xix, 327 p. ; 24 cm
シリーズ名: CSLI lecture notes ; no. 53
所蔵情報: loading…
目次情報: 続きを見る
List of contributors
Preface
Introduction
Submodel Preservation Theorems in Finite Variable Fragments / H. Andreka ; J. van Benthem ; I. Nemeti1:
Process Algebra with Feedback / J. C. M. Baeten ; J. A. Bergstra ; Gh. Stefanescu2:
Frame-Based Process Logics / A. Ponse3:
Re-interpreting the Modal m-Calculus Marcello / M. Bonsangue ; Marta Z. Kwiatkowska4:
Bisimulation of Context-Free Grammars and of Pushdown Automata Didier Caucal / 5:
Saturation and the Hennessy-Milner Property / Robert Goldblatt6:
A Modal Logic for mCRL / J. F. Groote ; S. F. M. van Vlijmen7:
Deciding Equivalences in Simple Process Algebras / Yoram Hirshfeld ; Faron Moller8:
Expressive Completeness of Until and Since over Dedekind / 9:
Hennessy-Milner Classes and Process Algebra Marco Hollenberg / 10:
A Lindstrom Theorem for Modal Logic / 11:
A Calculus of Transition Systems (towards Universal Coalgebra) / J. J. M. M. Rutten12:
On the Parallel Complexity of Bisimulation and Model Checking / Scott A. Smolka ; Oleg Sokolsky ; Shipei Zhang13:
NNIL, a Study in Intuitionistic Propositional / Logic Albert Visser ; Johan van Benthem ; Dick de Jongh ; Gerard R. Renardel de Lavalette14:
IPC as a Fragment of Predicate Logic / Appendix A:
Zigzag-simulations / Appendix B:
Extended Numbers / B.1:
Basics of Zigzag-simulations / B.2:
Preorders based on Zigzag-simulations / B.3:
Main Results / B.4:
References
Author Index
List of contributors
Preface
Introduction
6.

図書

図書
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c1995  viii, 308 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995  vi, 229 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 927 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書

図書
Dror G. Feitelson, Larry Rudolph (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995  viii, 360 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 949
所蔵情報: loading…
9.

図書

図書
Insup Lee, Scott A. Smolka, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995  x, 545 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 962
所蔵情報: loading…
10.

図書

図書
Victor Malyshkin (ed.)
出版情報: Berlin ; New York ; Tokyo : Springer, c1995  xii, 495 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 964
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼