Find:

Searching for PHRASE yoshihito toyama.

Restrict to:   Header   Title   Order by:   Expected citations   Hubs   Usage   Date   Try:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
20 documents found. Order: number of citations.

Lambda Calculi with Types - Barendregt (1992)   (Correct)   (368 citations)
Marco Swaen, Jan Terlouw, Hans Tonino, Yoshihito Toyama, Anne Troelstra and Roel de Vrijer.
ftp.cs.kun.nl/pub/CompMath.Found/HBKJ.ps.Z

Completeness of Combinations of Constructor Systems - Middeldorp, Toyama (1993)   (Correct)   (45 citations)
Systems Aart Middeldorp 123 And Yoshihito Toyama 45 1 Department Of Software Technology
of Constructor Systems Aart Middeldorp, Yoshihito Toyama
www.score.is.tsukuba.ac.jp/~ami/research/papers/jsc93.ps.gz

Argument Filtering Transformation - Kusakari, Nakamura, Toyama (1999)   (Correct)   (15 citations)
Keiichirou Kusakari Masaki Nakamura Yoshihito Toyama School of Information Science, JAIST
Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama
www.jaist.ac.jp/~masaki-n/cgi-bin/download.cgi?ppdp99.ps

The Functional Strategy and Transitive Term Rewriting.. - Toyama, Smetsers, van .. (1993)   (Correct)   (11 citations)
and Transitive Term Rewriting Systems Yoshihito Toyama 1 Sjaak Smetsers 2 Marko van Eekelen
and Transitive Term Rewriting Systems Yoshihito Toyama, Sjaak Smetsers, Marko van Eekelen, Rinus
ftp.cs.kun.nl/pub/CSI/SoftwEng.FunctLang/papers/toyy93-functional.ps.gz

Modularity of Confluence: A Simplified Proof - Klop, Middeldorp, Toyama, de.. (1994)   (Correct)   (7 citations)
Willem Klop 1256 Aart Middeldorp 35 Yoshihito Toyama 47 Roel de Vrijer 2 1 Department of
Proof Jan Willem Klop, Aart Middeldorp, Yoshihito Toyama, Roel de Vrijer
www.score.is.tsukuba.ac.jp/~ami/papers/ipl94.ps.gz

Evaluation Strategies for Term Rewriting Systems - Nakamura (2002)   (Correct)   (2 citations)
valuable discussion received from Professor Yoshihito Toyama who had been my advisor during the first
www.jaist.ac.jp/~masaki-n/cgi-bin/download.cgi?phd.ps

Top-Down Labelling and Modularity of Term Rewriting Systems - Aoto, Toyama (1996)   (Correct)   (1 citation)
systems Takahito Aoto aoto@jaist.ac.jp Yoshihito Toyama toyama@jaist.ac.jp School of Information
of Term Rewriting Systems Takahito Aoto, Yoshihito Toyama
www.isl.cs.gunma-u.ac.jp/~aoto/././papers/report/topdown.ps.gz

Termination Transformation by Tree Lifting Ordering - Aoto, Toyama (1998)   (Correct)   (1 citation)
by tree lifting ordering Takahito Aoto and Yoshihito Toyama School of Information Science, JAIST
by Tree Lifting Ordering Takahito Aoto, Yoshihito Toyama
www.isl.cs.gunma-u.ac.jp/~aoto/./papers/conference/ttbytlo.ps.gz

WRS'04 - 4th International Workshop on Reduction Strategies in .. - Antoy, (eds.) (2004)   (Correct)
in Rewriting and Programming Sergio Antoy and Yoshihito Toyama (eds.ISSN 0935-3232 Aachener
for leading the way. Sergio Antoy and Yoshihito Toyama Program Co-Chairs Program Committee
sunsite.informatik.rwth-aachen.de/Publications/AIB/2004/2004-06.ps.gz

Unknown - Wrs' Th International   (Correct)
in Rewriting and Programming Sergio Antoy and Yoshihito Toyama (eds.ISSN 0935-3232 Aachener
for leading the way. Sergio Antoy and Yoshihito Toyama Program Co-Chairs Program Committee
www-i2.informatik.rwth-aachen.de/WRS04/WRS-proceedings.pdf

Tree Lifting Orderings for Termination Transformations of Term .. - Aoto, Toyama (1997)   (Correct)
systems Takahito Aoto aoto@jaist.ac.jp Yoshihito Toyama toyama@jaist.ac.jp School of Information
of Term Rewriting Systems Takahito Aoto, Yoshihito Toyama
www.isl.cs.gunma-u.ac.jp/~aoto/././papers/report/treelift.ps.gz

Persistency of Confluence - Aoto, Toyama (1996)   (Correct)
confluence Takahito Aoto aoto@jaist.ac.jp Yoshihito Toyama toyama@jaist.ac.jp School of Information
Persistency of Confluence Takahito Aoto, Yoshihito Toyama
www.isl.cs.gunma-u.ac.jp/~aoto/././papers/report/persistency.ps.gz

Extending Persistency of Confluence With Ordered Sorts - Aoto, Toyama (1996)   (Correct)
sorts Takahito Aoto aoto@jaist.ac.jp Yoshihito Toyama toyama@jaist.ac.jp School of Information
Confluence With Ordered Sorts Takahito Aoto, Yoshihito Toyama
www.isl.cs.gunma-u.ac.jp/~aoto/././papers/report/orderedsort.ps.gz

Semantics and Strong Sequentiality of Priority Term Rewriting.. - And   (Correct)
Term Rewriting Systems Masahiko Sakai and Yoshihito Toyama Japan Advanced Institute of Science and
www.sakabe.nuie.nagoya-u.ac.jp/~sakai/papers/rta96.ps.gz

The Hierarchy of Dependency Pairs - Toyama   (Correct)
of Dependency Pairs Keiichirou Kusakari, Yoshihito Toyama March 23, 1999 IS-RR-99-0007F School of
c flKeiichirou Kusakari and Yoshihito Toyama, 1999 ISSN 0918-7553 The Hierarchy of
lss2-is15.jaist.ac.jp:8000/papers/99/hierarchy-dp.ps.gz

On Composable Properties of Term Rewriting Systems - Aoto, Toyama (1997)   (Correct)
of Term Rewriting Systems Takahito Aoto and Yoshihito Toyama School of Information Science, JAIST
of Term Rewriting Systems Takahito Aoto, Yoshihito Toyama
www.isl.cs.gunma-u.ac.jp/~aoto/./papers/conference/compprop.ps.gz

REFERENCES 2 [OO93] Michio Oyamaguchi and Yoshikatsu Ohta. On.. - Trans Ieice   (Correct)
Trans. IEICE, J76-D-I:39-45, 1993. TO94] Yoshihito Toyama and Michio Oyamaguchi. Church-Rosser
ftp.lri.fr/LRI/articles/rtaloop/79.ps.gz

Problem 59 - Originator Kurihara   (Correct)
27(4)772-796, October 1980. Toy87] Yoshihito Toyama. On the Church-Rosser property for the
103:273-282, 1992. MT91] Aart Middeldorp and Yoshihito Toyama. Completeness of combinations of constructor
ftp.lri.fr/LRI/articles/rtaloop/59.ps.gz

Try your query at:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP

CiteSeer.IST - Copyright Penn State and NEC