東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Rewriting systems )
該当件数:25件
Term rewriting systems / Terese
Cambridge, U.K. : Cambridge Univ. Pr. , c2003. - (Cambridge tracts in theoretical computer science ; 55)
図書
Confluent string rewriting / Matthias Jantzen
Berlin : Springer-Verlag , c1988. - Tokyo. - (EATCS monographs on theoretical computer science ; v. 14)
Efficient graph rewriting and its implementation / Heiko Dörr
New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 922)
String-rewriting systems / Ronald V. Book, Friedrich Otto
New York : Springer-Verlag , c1993. - (Texts and monographs in computer science)
Regulated rewriting in formal language theory / Jürgen Dassow, Gheorghe Păun
Berlin : Springer-Verlag , c1989. - New York. - (EATCS monographs on theoretical computer science ; v. 18)
Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 308)
Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada, (eds.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 516)
Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings / M. Rusinowitch, J.L. Rémy (eds.)
Berlin : Springer-Verlag , c1993. - New York. - Tokyo. - (Lecture notes in computer science ; 656)
Substitutions in dynamics, arithmetics and combinatorics / N. Pytheas Fogg ; editors, V. Berthé ... [et al.]
Berlin : Springer , c2002. - (Lecture notes in mathematics ; 1794)
Rewriting techniques and applications : 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, proceedings / Paliath Narendran, Michael Rusinowitch (eds.)
Berlin : Springer , c1999. - New York. - (Lecture notes in computer science ; 1631)
Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 277)
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.)
Berlin : Springer Verlag , c1995. - New York. - (Lecture notes in computer science ; 909)
Applications of graph transformations with industrial relevance : International Workshop, AGTIVE '99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings / Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1779)
Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings / Leo Bachmair (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1833)
Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings / Aart Middeldorp (ed)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2051)
Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / Gilles Dowek ... [et al.], (eds.)
Berlin : Springer , c1996. - Tokyo. - (Lecture notes in computer science ; 1074)
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.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 816)
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / N. Dershowitz (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 355)
Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings / Harald Ganzinger (ed.)
Berlin : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1103)
Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / Tobias Nipkow (ed.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1379)
Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings / Hubert Comon (ed.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1232)
Rewriting techniques and applications : 4th international conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings / Ronald V. Book, (ed.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 488)
Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Berlin : Springer-Verlag , c1995. - Tokyo. - (Lecture notes in computer science ; 968)
Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / Jieh Hsiang, (ed.)
Berlin : Springer-Verlag , c1995. - (Lecture notes in computer science ; 914)
Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings / Claude Kirchner (ed.)
Berlin : Springer-Verlag , c1993. - Tokyo. - (Lecture notes in computer science ; 690)