Author: "Yamada, Akihisa" / Journal: science of computer programming - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Yamada, Akihisa"' showing total 2 results

Start Over Author "Yamada, Akihisa" Journal science of computer programming

2 results on '"Yamada, Akihisa"'

1. On probabilistic term rewriting

Author: Avanzini, Martin, Dal Lago, Ugo, and Yamada, Akihisa
Published: 2020
Full Text: View/download PDF

2. A unified ordering for termination proving

Author: Yamada, Akihisa, Kusakari, Keiichirou, and Sakabe, Toshiki
Published: 2015
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results