>> Google Books
所蔵情報QRコード

Term rewriting systems / Terese

資料種別:
図書
出版情報:
Cambridge : Cambridge University Press, 2003
形態:
xxii, 884 p. ; 24 cm
シリーズ名:
Cambridge tracts in theoretical computer science ; 55 <BA01121831>
著者名:
Terese  
ISBN:
9780521391153 [0521391156] (: hard)
書誌ID:
BA61307703
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Term rewriting and all that /

Baader, Franz, Nipkow, Tobias
7 電子ブック Conditional Term Rewriting Systems

International Workshop CTRS, Remy, J. L., Rusinowitch, Michael

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
2 図書 Confluent string rewriting

Jantzen, Matthias, 1948-

Springer-Verlag
8 図書 Systems of reductions

Benninghofen, Benjamin, 1958-, Kemmerich, Susanne, 1953-, Richter, Michael M., 1938-

Springer-Verlag
3 図書 Efficient graph rewriting and its implementation

Dörr, Heiko, 1962-

Springer-Verlag
9 電子ブック Term Rewriting

French Spring School of Theoretical Computer Science, Comon, Hubert, Jouannaud, Jean-Pierre

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
4 図書 Rewriting techniques and applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings

International Conference on Rewriting Techniques and Applications, Oostrom, Vincent van

Springer
10 図書 Advanced topics in term rewriting

Ohlebusch, Enno

Springer
5 図書 Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings

International Conference on Rewriting Techniques and Applications, Nieuwenhuis, Robert

Springer
11 電子ブック Term Rewriting and Applications

Pfenning, Frank, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg
6 電子ブック Conditional Term Rewriting Systems

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
12 電子ブック Term Rewriting and Applications

International Conference on Rewriting Techniques and Applications, Giesl, Jürgen, Kanade, Takeo

Springer eBooks Computer Science, Springer Berlin / Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12