yr 〜
yr

Search results 72

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
  • Subject HeadingRewriting systems (Compu......mbda calculus. Rewriting systems (Computer science)
  • Author HeadingInternational Conference on Rewriting Techniques and Applications (...

項書換えのための合成可能な合流性基準

項書換えのための合成可能な合流性基準
Digital博士論文障害者向け資料あり
新谷, 喜楽2023-09
National Diet Library
  • Subject Headingterm rewriting confluence decreasing diagram...

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) --...

半群、形式言語および計算理論の研究

半群、形式言語および計算理論の研究
Paper図書
今岡, 輝男, 島根大学1997-1999<Y151-H09440017>
National Diet Library
  • Subject Heading...ormal language rewriting system free monoid automata c...

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) --...
  • Author Heading... Conference on Rewriting Techniques and Applications (...

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5065. Festschrift)

Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5065. Festschrift)
Paper図書
Springerc2008.<M17-09-1163>
National Diet Library
  • Subject HeadingGraph grammars. Rewriting systems (Computer science) So...

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) --...
  • Author Heading... Conference on Rewriting Techniques and Applications (...

Substitutions in dynamics, arithmetics, and combinatorics / N. Pytheas Fogg ; editors, V. Berthé ... [et al.]. (Lecture notes in mathematics ; 1794)

Substitutions in dynamics, arithmetics, and combinatorics / N. Pytheas Fogg ; editors, V. Berthé ... [et al.]. (Lecture notes in mathematics ; 1794)
Paper図書
Springerc2002.<MA41-B1>
National Diet Library
  • Subject HeadingRewriting systems (Computer science) Co...

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) --...
  • Author Heading... Conference on Rewriting Techniques and Applications (...

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) --...
  • Note (General)... Conference on Rewriting, Deduction, an......up 1.6 on term rewriting." -- pref.
  • Author Heading... Conference on Rewriting Techniques and Applications (...

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) --...

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) --...
  • Author Heading... Conference on Rewriting Techniques and Applications (...

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) --...
  • Author Heading... Conference on Rewriting Techniques and Applications (...

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) --...
  • Author Heading... Conference on Rewriting Techniques and Applications (...

項書換えのための合成可能な合流性基準

項書換えのための合成可能な合流性基準
Digital博士論文
新谷, 喜楽2023-09
Available onlineOther Libraries in Japan
  • Subject Headingterm rewriting confluence decreasing diagram...

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) --...

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) --...

Efficient graph rewriting and its implementation / Heiko Dörr. (Lecture notes in computer science)

Efficient graph rewriting and its implementation / Heiko Dörr. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M159-A163>
National Diet Library
  • Subject Headingプログラミング (電子計算機) Rewriting systems (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)

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) --...

Application of graph rewriting to natural language processing hbk.

Application of graph rewriting to natural language processing hbk.
Paper図書
Guillaume Bonfante, Bruno Guillaume, Guy PerrierWiley-ISTE2018
Other Libraries in Japan
  • Subject HeadingNatural language processing (Computer science) Rewriting systems (Computer science)
  • Subject Heading (ID)Natural language processing (Computer science) Rewriting systems (Computer science)