Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14-17, 2014, proceedings
著者
書誌事項
Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14-17, 2014, proceedings
（Lecture notes in computer science, 8560. Advanced research in computing and software science）
Springer, c2014
- タイトル別名
-
RTA-TLCA 2014
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)"--foreword
Includes bibliographical references and author index
