奈良先端科学技術大学院大学附属図書館

ヘルプ English
ログイン 終了

検索結果詳細 : 雑誌

The Journal of logic and algebraic programming 目次あり PDF

New York, N.Y. : North-Holland, c2001-

この資料の関連情報

:
所在 請求記号 所蔵年 所蔵巻号 受入継続
1 電子化情報 2001-2002 47-53  
2 電子ジャーナル Science Direct  

Vol.52 No.1-Vol.53 No.2 2002年7-12月-2002年7/8月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 電子化情報 4005014 2002/09/27 0
PDF Editorial Board p.CO2
PDF Guest editors' introduction: Model checking in a nutshell / Hermanns H., Katoen J.-P. p.1-5
PDF Is your model checker on time? On the complexity of model checking for timed modal logics / Aceto L., Laroussinie F. p.7-51
PDF Symbolic model checking of timed guarded commands using difference decision diagrams / Moller J., Hulgaard H., Reif Andersen H. p.53-77
PDF Positive loop-closed automata: a decidable class of hybrid systems / Li X., Zhao J., Pei Y., Li Y., Zheng T., Zheng G. p.79-108
PDF Iterating transducers / Dams D., Lakhnech Y., Steffen M. p.109-127
PDF Syntax-directed model checking of sequential programs / Yorav K., Grumberg O. p.129-162
PDF Automated verification of an audio-control protocol using Uppaal / Bengtsson J., David Griffioen W.O., Kristoffersen K.J., Larsen K.G., Larsson F., Pettersson P., Yi W. p.163-181
PDF Linear parametric model checking of timed automata / Hune T., Romijn J., Stoelinga M., Vaandrager F. p.183-220
PDF Author Index p.221
PDF Subject Index p.223

Vol.51 No.2 2002年6月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 電子化情報 4004836 2002/05/27 0
PDF Guest editor's introduction / Middelburg C.A. p.123-124
PDF Program algebra for sequential code / Bergstra J.A., Loots M.E. p.125-156
PDF Program algebra with unit instruction operators / Ponse A. p.157-174
PDF Combining programs and state machines / Bergstra J.A., Ponse A. p.175-192
PDF Molecular dynamics / Bergstra J.A., Bethke I. p.193-214
PDF Author index - Volume 51 p.215
PDF Subject index - Volume 51 p.217

Vol.51 No.1 2002年4-5月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 電子化情報 4004747 2002/04/01 0
PDF A hidden Herbrand theorem: combining the object and logic paradigms / Goguen J., Malcolm G., Kemp T. p.1-41
PDF Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking / Gnesi S., Latella D., Massink M. p.43-75
PDF A performance-based methodology to early evaluate the effectiveness of mobile software architectures / Cortellessa V., Grassi V. p.77-100
PDF Recursive tables and effective definition schemes / Wilder A.J. p.101-121

Vol.50 No.1-Vol.50 No.2 2002年1月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 電子化情報 4004653 2002/02/04 0
PDF Preface / Hazewinkel M. p.1-3
PDF Subject Index to Volumes 1-46 p.5-63
PDF Reference List of Indexed Articles p.65-79
PDF Author Index to Volumes 1-46 p.81-103

Vol.49 No.1-Vol.49 No.2 2001年9-12月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 電子化情報 4004652 2002/02/04 0
PDF Formalizing non-termination of recursive programs / Kahle R., Studer T. p.1-14
PDF Algebraic proofs of cut elimination / Avigad J. p.15-30
PDF Focus points and convergent process operators: a proof strategy for protocol verification / Groote J.F., Springintveld J. p.31-60
PDF A rewriting approach to binary decision diagrams / Zantema H., van de Pol J. p.61-86
PDF Author index - Volume 49 p.87
PDF Subject index - Volume 49 p.89
創刊・終刊 : Vol. 47, no. 1 (Jan/Feb 2001)-
形態 : v. : ill. ; 26 cm
注記 :

continue from : The Journal of logic programming

継続前誌名 :

The journal of logic programing

標題言語 : (eng)
本文言語 : (eng)
ISSN : 15678326
NCID : AA11518709