文献

J-GLOBAL ID：201002285015577778   整理番号：10A1120045

Lambek計算に関する結果を用いたLCグラフ

LC Graphs for the Lambek Calculus with Product

著者 (1件)： FOWLER Timothy A.D. (Univ. Toronto, ON, CAN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6149  ページ： 44-55  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 計算 ,  グラフ