>> Google Books
タイトル、所在を表示します

Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday

フォーマット:
図書
責任表示:
Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)
言語:
英語
出版情報:
Berlin : Springer, c2007
形態:
xvi, 272 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 4600 <BA00009279>
書誌ID:
BA8251423X
ISBN:
9783540731467 [3540731466]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday

二木, 厚吉(1948-), Jouannaud, Jean-Pierre, Meseguer, José

Springer
7 図書 Mathematical aspects of boundary element methods : dedicated to Vladimir Maz'ya on the occasion of his 60th birthday

Bonnet, Marc, 1960-, Sändig, Anna-Margarete, Wendland, Wolfgang L., 1936-

Chapman & Hall/CRC
2 図書 Logic versus approximation : Essays dedicated to Michael M. Richter on the occasion of his 65th birthday

Lenski, Wolfgang

Springer
8 図書 Rewriting techniques and applications

Jouannaud, Jean-Pierre

Academic
3 図書 Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

CCL, Jouannaud, Jean-Pierre

Springer-Verlag
9 図書 Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday

Dershowitz, Nachum, 1951-, Manna, Zohar

Springer
4 図書 Efficient algorithms : essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday

Albers, Susanne, Alt, Helmut, Näher, Stefan

Springer
10 図書 Mathematical analysis and applications : essays dedicated to Laurent Schwartz on the occasion of his 65th birthday

Nachbin, Leopoldo, Schwartz, Laurent, 1915-

Academic Press
5 図書 Algorithms and applications : essay dedicated to Esko Ukkonen on the occasion of his 60th birthday

Elomaa, Tapio, 1963-, Mannila, Heikki, Orponen, Pekka

Springer
11 図書 Topics in functional analysis : essays dedicated to M.G. Krein on the occasion of his 70th birthday

Kreĭn, M. G. (Mark Grigorʹevich), 1907-, Gohberg, Israel, 1928-, Kac, Mark, 1914-1984

Academic Press
6 図書 Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course

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

Springer Verlag
12 図書 ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic …

ISILC Proof Theory Symposium, Schütte, K. (Kurt), Diller, Justus, Müller, G. H. (Gert Heinz), 1923-, International &hellip;

Springer-Verlag