【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Treinen, Ralf

ID:DA1309063X

Search authors sharing the same name

Search Results1-2 of 2

1

Rewriting techniques and applications : 20th international conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 : proceedings

Ralf Treinen (ed.)

Springer c2009 Lecture notes in computer science 5595

Available at 4 libraries
2

Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures

Hubert Comon, Claude Marché, Ralf Treinen (eds.)

Springer c2001 Lecture notes in computer science 2002

Available at 36 libraries

Search this author

Related Authors