文献
J-GLOBAL ID:201202247951228454
整理番号:12A1638184
収縮する論理
Contracting Logics
著者 (2件):
RIBEIRO Marcio M.
(State Univ. Campinas, BRA)
,
CONIGLIO Marcelo E.
(State Univ. Campinas, BRA)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
7456
ページ:
268-281
発行年:
2012年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)