文献

J-GLOBAL ID：201002272180587422   整理番号：10A0555787

局所状態に関する代数的理論のための完全性

Completeness for Algebraic Theories of Local State

著者 (1件)： STATON Sam (Univ. Cambridge)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6014  ページ： 48-63  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 理論 ,  完全性