Theory of rewriting systems and its applications
著者
書誌事項
Theory of rewriting systems and its applications
(数理科学講究録, 918)
数理科学講究録刊行会, 1995.8
- タイトル別名
-
書き換えシステムの理論とその応用
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
「書き換えシステムの理論とその応用」研究集会報告集(1995年7月24日-7月26日) 研究代表者:外山芳人
付: 参考文献
収録内容
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides / 鈴木大郎, Aart Middeldorp, 井田哲雄
- Left-incompatible term rewriting systems and its normalizing strategy / 酒井正彦
- Implementation of conditional term rewriting systems equipped with meta-computation / 沼澤政信, 栗原正人, 大内東
- Completion for multiple reduction orderings / 栗原正人, 近藤久, 大内東
- Analysis of completeness of laboratory assignment algorithm by rewrite systems theory / 能登正人, 栗原正人, 大内東
- Trees and terms in relational graph rewriting system / 溝口佳寛, 河原康雄
- Fuzzy graph rewritings / 森雅生, 河原康雄
- Protocol synthesis from service specifications described by graph rewriting rules / 田倉昭, 世良孝文, 太田理
- Transforming termination by self-labelling / Maria C.F. Ferreira, Aart Middeldorp, 大崎人士, Hans Zantema
- Simple gap termination for term graph rewriting systems / 小川瑞史
- NVNF-sequentiality of left-linear term rewriting systems / 長谷崇, 酒井正彦, 外山芳人
- Sequentiality, second order monadic logic and tree automata / Hubert Comon
- Church-Rosser property and unique normal form property of non-duplicating term rewriting systems / 外山芳人, 大山口通夫
- Some results on the CR property of non-E-overlapping and depth-preserving TRS's / 大山口通夫, 五味弘
- A new proof of Chew's theorem / 真野健, 小川瑞史
- On embedding of classical substructural logics / 藤田憲悦
- Natural deduction systems for intuitionistic substructural logics and their strong normalization / 毛利元彦
- Extracting a reduction system from a conjunction calculus / 久米田暁文
- Non-standard recursion theory / 直井徹
- Parallelization of concurrent processes in higher dimensional automata / 高山幸秀
- Shortcut deforestation in calculational form / 高野明彦, Erik Meijer
- Eliminating selectors from term rewriting systems / 菊池豊
- Gröbner bases for set constraints / 佐藤洋祐
- Concurrent reflective computations in rewriting logic / 石川洋, 二木厚吉, 渡部卓雄