Concurrent program development and correctness. S2S game strategies and constructive dynamic logic.

NERODE A

Art

J-GLOBAL ID：200902018992200160 Reference number：91A0184312

Concurrent program development and correctness. S2S game strategies and constructive dynamic logic.

Publisher site Copy service {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=91A0184312&COPY=1") }}
Access JDreamⅢ for advanced search and analysis. {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=91A0184312&from=J-GLOBAL&jstjournalNo=W0080A") }}

Author (1)：
Material：
Volume： 1989 Page： 352-354 Publication year： 1989
JST Material Number： W0080A Document type： Proceedings
Country of issue： United States (USA) Language： ENGLISH (EN)

Return to Previous Page