yr 〜
yr

Search results 41

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

Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007 : Kassel, Germany, October 10-12, 2007 : revised selected and invited papers. : AGTIVE 2007 symposium on "applications of graph transformation with industrial relevance" : Oct 2007, Kassel, Germany. (Lecture Notes in Computer Science ; 5088)

Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007 : Kassel, Germany, October 10-12, 2007 : revised selected and invited papers. : AGTIVE 2007 symposium on "applications of graph transformation with industrial relevance" : Oct 2007, Kassel, Germany. (Lecture Notes in Computer Science ; 5088)
Paper図書
Springerc2008.<M17-09-1029>
National Diet Library
  • Subject HeadingComputer science -- Congresses. Rewriting systems (Computer science) -- Congresses.

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

Rewriting techniques and applications : 19th international conference, RTA 2008 : Hagenberg, Austria, July 15-17, 2008 : proceedings. : Jul 2008, Hagenberg, Austria. (Lecture Notes in Computer Science ; 5117)
Paper図書
Springerc2008.<M17-08-2231>
National Diet Library
  • Subject HeadingRewriting systems (Computer science) -- Congresses. Computer programming -- Congr...

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

Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. : 18th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4533)
Paper図書
Springerc2007.<M17-07-2341>
National Diet Library
  • Subject HeadingRewriting systems (Computer science) -- Congresses. Computer programming -- Congr...

Term rewriting and applications : 17th international conference, RTA 2006 : Seattle, WA, USA, August 12-14, 2006 : proceedings. : 17th international conference on rewriting techniques and applications : 4th federated logic conference (FLoC) : RTA workshop : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4098)

Term rewriting and applications : 17th international conference, RTA 2006 : Seattle, WA, USA, August 12-14, 2006 : proceedings. : 17th international conference on rewriting techniques and applications : 4th federated logic conference (FLoC) : RTA workshop : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4098)
Paper図書
Springerc2006.<M17-06-3104>
National Diet Library
  • Subject HeadingRewriting systems (Computer science) -- Congresses. Computer programming -- Congr...

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
  • Subject HeadingRewriting systems (Computer science) -- Congresses. Computer programming -- Congr...

Applications of graph transformations with industrial relevance : second international workshop, AGTIVE 2003 : Charlottesville, VA, USA, September 27-October 1, 2003 : revised selected and invited papers. : international AGTIVE 2003 workshop and symposium : Sep 2003, Charlottesville, VA. (Lecture Notes in Computer Science ; 3062)

Applications of graph transformations with industrial relevance : second international workshop, AGTIVE 2003 : Charlottesville, VA, USA, September 27-October 1, 2003 : revised selected and invited papers. : international AGTIVE 2003 workshop and symposium : Sep 2003, Charlottesville, VA. (Lecture Notes in Computer Science ; 3062)
Paper図書
Springerc2004.<M17-04-3184>
National Diet Library
  • Subject HeadingComputer science -- Congresses. Rewriting systems (Computer science) -- Congresses.

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

Rewriting techniques and applications : 15th international conference, RTA 2004 : Aachen, Germany, June 3-5, 2004 : proceedings. : Jun 2004, Aachen, Germany. (Lecture Notes in Computer Science ; 3091)
Paper図書
Springerc2004.<M17-04-3213>
National Diet Library
  • Subject HeadingRewriting systems (Computer science) -- Congresses. Computer programming -- Congr...

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

Rewriting techniques and applications : 14th international conference, RTA 2003 : Valencia, Spain, June 9-11, 2003 : proceedings. : Jun 2003, Valencia, Spain. (Lecture Notes in Computer Science ; 2706)
Paper図書
Springerc2003.<M17-04-542>
National Diet Library
  • Subject HeadingRewriting systems (Computer science) -- Congresses. Computer programming -- Congr...

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

Rewriting techniques and applications : 12th international conference, RTA 2001 : Utrecht, the Netherlands, May 22-24, 2001 : proceedings. : May 2001, Utrecht, the Netherlands. (Lecture Notes in Computer Science ; 2051)
Paper図書
Springer2001.<M17-03-4644>
National Diet Library
  • Subject HeadingRewriting systems (Computer science) -- Congresses. Computer programming -- Congr...

Conditional term rewriting systems / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.). (Lecture notes in computer science)

Conditional term rewriting systems / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8637>
National Diet Library
  • Subject HeadingRewriting systems (Computer science) -- Congresses.

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, eds. (Lecture notes in computer science)

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, eds. (Lecture notes in computer science)
Paper図書
Springer Verlagc1995.<M15-A9646>
National Diet Library
  • Subject HeadingComputer science -- Congresses. Rewriting systems (Computer science) -- Congresses.

Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.). (Lecture notes in computer science)

Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A7738>
National Diet Library
  • Subject HeadingRewriting systems (Computer science) -- Congresses.

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
  • Subject HeadingRewriting systems (Computer science) -- Congresses. Electronic digital computers ...

Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.], eds. (Lecture notes in computer science)

Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.], eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9524>
National Diet Library
  • Subject HeadingRewriting systems (Computer science) -- Congresses. Algebra -- Congresses. Logic,...

Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud, eds. (Lecture notes in computer science)

Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A4115>
National Diet Library
  • Subject HeadingRewriting systems (Computer science) -- Congresses.

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
  • Subject HeadingRewriting systems (Computer science) -- Congresses. Electronic digital computers ...

Applications of graph transformations with industrial relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers : [pbk.]

Applications of graph transformations with industrial relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers : [pbk.]
Paper図書
Andy Schürr, Dániel Varró, Gergely Varró (eds.)Springerc2012
Other Libraries in Japan

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
  • Subject HeadingRewriting systems (Computer science) -- Congresses. Electronic digital computers ...

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)
Paper図書
Springer-Verlagc1989.<M15-A5473>
National Diet Library
  • Subject HeadingRewriting systems (Computer science) -- Congresses. Electronic digital computers ...