本文に飛ぶ

年 〜
年

検索結果 26 件

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)
紙図書
Springer[2014]<M17-15-1249>
国立国会図書館
  • 著者標目International 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. (Lecture Notes in Computer Science ; 5595)

Rewriting techniques and applications : 20th international conference, RTA 2009 : Brasilia, Brazil, June 29-July 1, 2009 : proceedings. (Lecture Notes in Computer Science ; 5595)
紙図書
Springerc2009.<M17-10-755>
国立国会図書館全国の図書館
  • 著者標目Treinen, 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)
紙図書
Springerc2007.<M17-07-2341>
国立国会図書館全国の図書館
  • その他のタイトル18th international conference on rewriting techniques and applications : federated conference on rew...
  • 著者標目Baader, 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)
紙図書
Springerc2006.<M17-06-3104>
国立国会図書館全国の図書館
  • その他のタイトル17th international conference on rewriting techniques and applications : 4th federated logic confere...
  • 著者標目Pfenning, Frank. International Conference on Rewriting Techniques and Applications (17th : 2006 : Seattle, Wash....

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)
紙図書
Springerc2008.<M17-08-2231>
国立国会図書館全国の図書館
  • 著者標目...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)
紙図書
Springerc2004.<M17-04-3213>
国立国会図書館全国の図書館
  • 著者標目Oostrom, 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)
紙図書
Springerc2003.<M17-04-542>
国立国会図書館全国の図書館
  • 著者標目Nieuwenhuis, 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)
紙図書
Springer2001.<M17-03-4644>
国立国会図書館全国の図書館
  • 著者標目Middeldorp, 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
紙図書
Sophie Tison (ed.)Springerc2002
全国の図書館
  • 著者標目International 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
紙図書
Leo Bachmair (ed.)Springerc2000
全国の図書館
  • 著者標目International 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)
紙図書
Springer-Verlagc1995.<M15-A9580>
国立国会図書館
  • 著者標目International 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
紙図書
Tobias Nipkow (ed.)Springerc1998
全国の図書館
  • 一般注記"Papers presented at the 9th International Conference on Rewriting Techniques and Applications (RTA-98) ... "--Pref Includes...
  • 著者標目Nipkow, 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
紙図書
Paliath Narendran, Michael Rusinowitch (eds.)Springerc1999
全国の図書館
  • 著者標目International 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
紙図書
Hubert Comon (ed.)Springerc1997
全国の図書館
  • 著者標目Comon, 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)
紙図書
Springer-Verlagc1993.<M15-A8819>
国立国会図書館
  • 著者標目International 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
紙図書
Harald Ganzinger (ed.)Springer-Verlagc1996
全国の図書館
  • 著者標目International 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)
紙図書
Springer-Verlagc1991.<M15-A7700>
国立国会図書館
  • 著者標目International 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
紙図書
Jieh Hsiang, (ed.)Springer-Verlagc1995
全国の図書館
  • 著者標目International 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
紙図書
Claude Kirchner (ed.)Springer-Verlagc1993
全国の図書館
  • 一般注記"Fifth International Conference on Rewriting Techniques and Applications held June 16-18, 1993, in Mon...
  • 著者標目Kirchner, Claude International Conference on Rewriting Techniques and Applications

Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz (ed.). (Lecture notes in computer science)

Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1989.<M15-A5473>
国立国会図書館
  • 著者標目International Conference on Rewriting Techniques and Applications (3rd : 1989 : Chapel Hill, N....
RSS