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

Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Sophie Tison (ed.)

資料種別:
図書
出版情報:
Berlin : Springer, c2002
形態:
xi, 385 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2378 <BA00009279>
著者名:
ISBN:
9783540439165 [3540439161]
書誌ID:
BA57747360
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

International Conference on Rewriting Techniques and Applications, Middeldorp, Aart, 1963-

Springer

International Conference on Rewriting Techniques and Applications, Book, Ronald V.

Springer-Verlag

International Conference on Rewriting Techniques and Applications, Bachmair, Leo

Springer

Nipkow, Tobias, 1958-, International Conference on Rewriting Techniques and Applications

Springer

International Conference on Rewriting Techniques and Applications, Ganzinger, Harald, 1950-

Springer-Verlag

International Conference on Rewriting Techniques and Applications, Dershowitz, Nachum, 1951-

Springer-Verlag

International Conference on Rewriting Techniques and Applications, Comon, Hubert

Springer

International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, 1951-, Lindenstrauss, Naomi

Springer-Verlag

International Conference on Rewriting Techniques and Applications, Hsiang, Jieh, 1954-

Springer-Verlag

International Colloquium on Automata, Languages and Programming, Widmayer, Peter

Springer

International Conference on Rewriting Techniques and Applications, Kirchner, Claude

Springer-Verlag

International Conference on the Mathematics of Program Construction, Boiten, Eerke A, Möller, Bernhard, 1953-

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12