Top>
輪講の記録>
外山研究室で行った輪講の記録(JAIST)>
紹介論文一覧 (1997年)
外山研輪講 紹介論文一覧 (1997年)
- 12/17(水) 紹介者: 青戸
Taro Suzuki, Aart Middeldorp, Tetsuo Ida,
Level-Confluence of Conditional Rewrite Systems
with Extra Variables in Right-Hand Sides,
Proceedings of the 6th International Conference on Rewriting
Techniques and Applications (RTA'95), Kaiserslautern,
Lecture Notes in Computer Science 914, pp.179-193, 1995.
- 11/27(木) 紹介者: 小池
F.Bronsard, U.S.Reddy, R.W.Hasker,
Induction using term orders,
J.Automated Reasoning 16, pp.3-37, 1996.
- 11/19,12/10(水) 紹介者: 佐賀
Takano,A. and E.Meijer,
Shortcut Deforestation in Calculational Form,
Proceedings of Conference on Functional Programming Languages
and Computer Architecture, pp.306-313, 1995.
- 11/13(木) 紹介者: 岩見
Hitoshi Ohsaki and Aart Middeldrop,
Type introduction for equational rewriting,
LFCS'97, Lecture Notes in Computer Science 1234, pp.283-293, 1997.
- 10/29(水) 紹介者: 草刈
K.Kusakari, Y.Toyama,
On Proving AC-Termination by Dependency Pairs,
Manuscript.
- 10/22(水) 紹介者: 長谷
B. Salinier and R. Strandh,
Efficient Simulation of Forward-Branching Systems
with Constructor Systems,
J. Symbolic Computation 22, pp.381-399, 1996.
- 10/9(木) 紹介者: 青戸
T.Aoto,
A simple proof of a conjecture by H.Zantema,
Manuscript.
- 7/24(水) 紹介者: 小池
A.Bouhoula,
Automated Theorem Proving by Test Set Induction,
J.Symbolic Computation 23, pp.47-77, 1997.
- 7/3(木) 紹介者: 佐賀
H.Seidl and M.H.Siorensen,
Constraints to Stop Higher-Order Deforestation,
In ACM Symposium on Principles of Programming Languages,
1997. to appear.
- 6/25(水) 紹介者: 岩見
M.C.F. Ferreira and H.Zantema,
Syntactical analysis of total termination,
Technical Report UU-CS-1994-28, Utrecht University.
- 6/16(月) 紹介者: 草刈
Thomas Arts,
Termination by Absence of Infinite Chains of Dependency Pairs,
Lecture Notes in Computer Science 1059, pp.196-210, 1996.
- 6/4(水) 紹介者: 長谷
S.Byuu, R.Kennaway, and R.Sleep,
Transformation of Orthogonal Term Rewriting Systems,
Lecture Notes in Computer Science 1023, pp.73-87, 1995.
- 5/28(水) 紹介者: 青戸
S.Burris,
Discriminator Varieties and Symbolic Computation,
Journal of Symbolic Computation 13, pp.175-207, 1992.
- 5/21(水) 紹介者: 小池
Adel Bouhoula, Emmanuel Kounalis, Michael Rusinowitch,
Automated Mathematical Induction,
Journal of Logic Computation 5, pp.631-668, 1995.
- 3/5(水) 紹介者: 木村
Shang-Ching Chou, Xiao-Shan Gao, and Jing-Zhong Zhang,
An Introduction to Geometry Expert,
Lecture Notes in Computer Science 1104, pp.235-239, 1996.
- 2/26(水) 紹介者: 佐賀
Philip Wadler,
Deforestation: transforming programs to eliminate trees,
Theoretical Computer Science 73, pp.231-248, 1990.
- 2/7(金) 紹介者: 岩見
H. Zantema,
Termination of term rewriting by semantic labelling,
Fundamenta Informaticae 24, pp.89-105, 1995.
- 1/31(金) 紹介者: 草刈
Zurab Khasidashvili,
Perpetuality and Strong Normalization
in Orthogonal Term Rewriting Systems,
Lecture Notes in Computer Science 775, pp.163-174, 1994.
- 1/20(月) 紹介者: 関
Marian Vittek,
A Compiler for Nondeterministic Term Rewriting Systems,
Proceedings of the 7th International Conference on Rewriting
Techniques and Applications (RTA'96),
Lecture Notes in Computer Science 1103, pp.154-168, 1996.
- 1/16(木) 紹介者: 長谷
Irene Durand and Aart Middeldorp,
Decidable Call by Need Computations in Term Rewriting,
(Extended Abstract).
[外山研究室]
[電気通信研究所]
[東北大学]
ご意見お問い合わせは
webmaster
まで.