Concurrent Semantics for Concurrent Constraint Programs

Concurrent Semantics for Concurrent Constraint Programs

著者名:

掲載資料名:

Constraint programming

シリーズ名:

NATO ASI series. Series F, Computer and systems sciences

シリーズ巻号:

131

発行年:

1994

開始ページ:

173

終了ページ:

227

総ページ数:

55

出版情報:

Berlin: Springer-Verlag

ISSN:

02581248

ISBN:

9783540578598 [3540578595]

言語:

英語

請求記号:

N11483/131

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00018276
シリーズID:	PA00000019
会議名:	NATO Advanced Science Institute on Constraint Programmin
回次:	1993
会議開催地:	Parnu, Estonia
会議開催年:	1993.08.13-1993.08.24

類似資料:

1 国際会議録 Finite Domain Constraint Problems and Their Relationship with Logic Programming Montanari Ugo, Rossi Francesca Springer-Verlag	7 国際会議録 Visual debugging of data and operations for concurrent programs Erbacher,R.F. SPIE-The International Society for Optical Engineering
2 国際会議録 An axiomatic semantics of concurrent programming languages Lamport L. Springer-Verlag	8 国際会議録 Concurrent Parameter Design Based on Constraint Network Wenhui Fan, Tao Li, Guangleng Xiong American Society of Mechanical Engineers
3 国際会議録 Programming in Timed Concurrent Constraint Languages Saraswat. V, Jagadeesan. R, Gupta. V Springer-Verlag	9 国際会議録 Issues in the Methodical Design of Concurrent Programs SINTZOFF M. D. Reidel
4 国際会議録 Denotational Semantics of Constraint Logic Programming- A Nonstandard Approach Palmgren. E Springer-Verlag	10 国際会議録 The Family of Concurrent Logic Programming Languages Shapiro Ehud Springer-Verlag
5 国際会議録 A Foundation for Higher-oerder Concurrent Constraint Programming Smolka G. Springer	11 国際会議録 Video summarization and semantics editing tools Xu,L.-Q., Zhu,J., Stentiford,F. SPIE-The International Society for Optical Engineering
6 国際会議録 Concurrent constraint programming-based path planning for uninhabited air vehicles Gualandi, S., Tranchero, B. SPIE - The International Society of Optical Engineering	12 国際会議録 An Analysis of Choice in Program Design of Concurrent Programs BACKHOUSE R. D. Reidel

1

2

3

4

5

6

7

8

9

10

11

12