Jump to main content

yr 〜
yr

Search results 27

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-1249>
National Diet Library
  • Author HeadingInternational Conference on Rewriting Techniques and Applications (25th : 2014 : Vienna, Austri...

Rewriting techniques and applications : 20th international conference, RTA 2009 : Brasilia, Brazil, June 29-July 1, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jun 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5595)

Rewriting techniques and applications : 20th international conference, RTA 2009 : Brasilia, Brazil, June 29-July 1, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jun 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5595)
Paper図書
Springerc2009.<M17-10-755>
National Diet Library
  • Author HeadingTreinen, Ralf. International Conference on Rewriting Techniques and Applications (20th : 2009 : Brasília, Braz...

Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. (Lecture Notes in Computer Science ; 4533)

Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. (Lecture Notes in Computer Science ; 4533)
Paper図書
Springerc2007.<M17-07-2341>
National Diet LibraryOther Libraries in Japan
  • Additional Title18th international conference on rewriting techniques and applications : federated conference on rew...
  • Author HeadingBaader, Franz. International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France)

Term rewriting and applications : 17th international conference, RTA 2006 : Seattle, WA, USA, August 12-14, 2006 : proceedings. (Lecture Notes in Computer Science ; 4098)

Term rewriting and applications : 17th international conference, RTA 2006 : Seattle, WA, USA, August 12-14, 2006 : proceedings. (Lecture Notes in Computer Science ; 4098)
Paper図書
Springerc2006.<M17-06-3104>
National Diet LibraryOther Libraries in Japan
  • Additional Title17th international conference on rewriting techniques and applications : 4th federated logic confere...
  • Author HeadingPfenning, Frank. International Conference on Rewriting Techniques and Applications (17th : 2006 : Seattle, Wash....

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

Rewriting techniques and applications : 20th international conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 : proceedings
Paper図書
Ralf Treinen (ed.)Springerc2009
Other Libraries in Japan
  • Author HeadingInternational Conference on Rewriting Techniques and Applications Treinen, Ralf

Rewriting techniques and applications : 19th international conference, RTA 2008 : Hagenberg, Austria, July 15-17, 2008 : proceedings. (Lecture Notes in Computer Science ; 5117)

Rewriting techniques and applications : 19th international conference, RTA 2008 : Hagenberg, Austria, July 15-17, 2008 : proceedings. (Lecture Notes in Computer Science ; 5117)
Paper図書
Springerc2008.<M17-08-2231>
National Diet LibraryOther Libraries in Japan
  • Author Heading...ndreĭ) , 1959- International Conference on Rewriting Techniques and Applications (19th : 2008 : Hagenberg im M...

Rewriting techniques and applications : 15th international conference, RTA 2004 : Aachen, Germany, June 3-5, 2004 : proceedings. (Lecture Notes in Computer Science ; 3091)

Rewriting techniques and applications : 15th international conference, RTA 2004 : Aachen, Germany, June 3-5, 2004 : proceedings. (Lecture Notes in Computer Science ; 3091)
Paper図書
Springerc2004.<M17-04-3213>
National Diet LibraryOther Libraries in Japan
  • Author HeadingOostrom, Vincent van, 1966- International Conference on Rewriting Techniques and Applications (15th : 2004 : Aachen, German...

Rewriting techniques and applications : 14th international conference, RTA 2003 : Valencia, Spain, June 9-11, 2003 : proceedings. (Lecture Notes in Computer Science ; 2706)

Rewriting techniques and applications : 14th international conference, RTA 2003 : Valencia, Spain, June 9-11, 2003 : proceedings. (Lecture Notes in Computer Science ; 2706)
Paper図書
Springerc2003.<M17-04-542>
National Diet LibraryOther Libraries in Japan
  • Author HeadingNieuwenhuis, Robert. International Conference on Rewriting Techniques and Applications (14th : 2003 : Valencia, Spai...

Rewriting techniques and applications : 12th international conference, RTA 2001 : Utrecht, the Netherlands, May 22-24, 2001 : proceedings. (Lecture Notes in Computer Science ; 2051)

Rewriting techniques and applications : 12th international conference, RTA 2001 : Utrecht, the Netherlands, May 22-24, 2001 : proceedings. (Lecture Notes in Computer Science ; 2051)
Paper図書
Springer2001.<M17-03-4644>
National Diet LibraryOther Libraries in Japan
  • Author HeadingMiddeldorp, Aart, 1963- International Conference on Rewriting Techniques and Applications (12th : 2001 : Utrecht, Nethe...

Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings

Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Paper図書
Sophie Tison (ed.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Conference on Rewriting Techniques and Applications Tison, Sophie

Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Paper図書
Leo Bachmair (ed.)Springerc2000
Other Libraries in Japan
  • Author HeadingInternational Conference on Rewriting Techniques and Applications Bachmair, Leo

Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, ed. (Lecture notes in computer science)

Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9580>
National Diet Library
  • Author HeadingInternational Conference on Rewriting Techniques and Applications (6th : 1995 : Kaiserslautern,...

Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings

Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
Paper図書
Tobias Nipkow (ed.)Springerc1998
Other Libraries in Japan
  • Note (General)"Papers presented at the 9th International Conference on Rewriting Techniques and Applications (RTA-98) ... "--Pref Includes...
  • Author HeadingNipkow, Tobias International Conference on Rewriting Techniques and Applications

Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings

Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings
Paper図書
Paliath Narendran, Michael Rusinowitch (eds.)Springerc1999
Other Libraries in Japan
  • Author HeadingInternational Conference on Rewriting Techniques and Applications Narendran, Paliath Rusinowitc...

Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings : pbk

Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings : pbk
Paper図書
Hubert Comon (ed.)Springerc1997
Other Libraries in Japan
  • Author HeadingComon, Hubert International Conference on Rewriting Techniques and Applications

Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.). (Lecture notes in computer science)

Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner (ed.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8819>
National Diet Library
  • Author HeadingInternational Conference on Rewriting Techniques and Applications (5th : 1993 : Montreal, Canad...

Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings

Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
Paper図書
Harald Ganzinger (ed.)Springer-Verlagc1996
Other Libraries in Japan
  • Author HeadingInternational Conference on Rewriting Techniques and Applications Ganzinger, Harald

Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings / Ronald V. Book, ed. (Lecture notes in computer science)

Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings / Ronald V. Book, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A7700>
National Diet Library
  • Author HeadingInternational Conference on Rewriting Techniques and Applications (4th : 1991 : Como, Italy) Bo...

Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings : Berlin

Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings : Berlin
Paper図書
Jieh Hsiang, (ed.)Springer-Verlagc1995
Other Libraries in Japan
  • Author HeadingInternational Conference on Rewriting Techniques and Applications Hsiang, Jieh

Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings : gw : us

Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings : gw : us
Paper図書
Claude Kirchner (ed.)Springer-Verlagc1993
Other Libraries in Japan
  • Note (General)"Fifth International Conference on Rewriting Techniques and Applications held June 16-18, 1993, in Mon...
  • Author HeadingKirchner, Claude International Conference on Rewriting Techniques and Applications
RSS