査読有り 2016年 A Galois Connection for Weighted (Relational) Clones of Infinite Size Transactions on Computation Theory P. Fulla, S. Živný 巻 8 号 3 開始ページ 9:1 終了ページ 9:21 記述言語 英語 掲載種別 研究論文(学術雑誌) 出版者・発行元 ACM エクスポート BibTeX RIS