年 〜
年

検索結果 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)
紙図書
Springer[2014]<M17-15-1249>
国立国会図書館
  • 件名Rewriting systems (Computer science)--Congresses. Lambda calculus--Congresses. ...

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)
紙図書
Springerc2008.<M17-09-1029>
国立国会図書館

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)
紙図書
Springerc2008.<M17-08-2231>
国立国会図書館

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)
紙図書
Springerc2007.<M17-07-2341>
国立国会図書館

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)
紙図書
Springerc2006.<M17-06-3104>
国立国会図書館

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)
紙図書
Springerc2009.<M17-10-755>
国立国会図書館

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)
紙図書
Springerc2004.<M17-04-3184>
国立国会図書館

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)
紙図書
Springerc2004.<M17-04-3213>
国立国会図書館

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)
紙図書
Springerc2003.<M17-04-542>
国立国会図書館

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)
紙図書
Springer2001.<M17-03-4644>
国立国会図書館

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)
紙図書
Springer-Verlagc1993.<M15-A8637>
国立国会図書館

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)
紙図書
Springer Verlagc1995.<M15-A9646>
国立国会図書館

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)
紙図書
Springer-Verlagc1991.<M15-A7738>
国立国会図書館

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>
国立国会図書館

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)
紙図書
Springer-Verlagc1994.<M15-A9524>
国立国会図書館

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)
紙図書
Springer-Verlagc1988.<M15-A4115>
国立国会図書館

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>
国立国会図書館

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.]
紙図書
Andy Schürr, Dániel Varró, Gergely Varró (eds.)Springerc2012
全国の図書館

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>
国立国会図書館

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>
国立国会図書館