査読有り 2015年 A Galois Connection for Valued Constraint Languages of Infinite Size Automata, Languages, and Programming – 42nd International Colloquium P. Fulla, S. Živný 開始ページ 517 終了ページ 528 記述言語 英語 掲載種別 研究論文(国際会議プロシーディングス) エクスポート BibTeX RIS