Konferenzschrift | Kongress
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday ; [Festschrift]
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540731467
3540731466
- Dimensions
-
24 cm
- Extent
-
XVI, 272 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 4600
- Keyword
-
Reduktionssystem
Reduktionssystem
Automatisches Beweisverfahren
HOL
Programmierung
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York
- (who)
-
Springer
- (when)
-
2007
- Contributor
-
Comon-Lundh, Hubert
Jouannaud, Jean-Pierre
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:42 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Comon-Lundh, Hubert
- Jouannaud, Jean-Pierre
- Springer
Time of origin
- 2007
Other Objects (12)
CEC and EKC, 11.. Dedicated to the 60th birthday of Dr. Salvatore Fanali
Dirichlet states : dedicated to Professor K. Iseki on the occasion of his 60th birthday
Efficient algorithms : essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday
Topics in discrete mathematics : dedicated to Jarik Nešetřil on the occasion of his 60th birthday
Mongolia at the Market : dedicated to the 60th anniversary of the School of Economic Studies
Algorithms and applications : essays dedicated to Esko Ukkonen on the occasion of his 60th birthday
Multiscale, nonlinear and adaptive approximation : dedicated to Wolfgang Dahmen on the occasion of his 60th birthday
Special issue dedicated to Prof. Dr. Katharina Kohse-Höinghaus on the occasion of her 60th birthday
Essays in co-ordination chemistry : Dedicated to Gerold Schwarzenbach on his 60th birthday, 15 March 1964
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday ; [Festschrift]
Computation, cooperation, and life : essays dedicated to Gheorghe Păun on the occasion of his 60th Birthday
CEC and EKC, 11.. Dedicated to the 60th birthday of Dr. Salvatore Fanali
Dirichlet states : dedicated to Professor K. Iseki on the occasion of his 60th birthday
Efficient algorithms : essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday
Topics in discrete mathematics : dedicated to Jarik Nešetřil on the occasion of his 60th birthday
Mongolia at the Market : dedicated to the 60th anniversary of the School of Economic Studies
Algorithms and applications : essays dedicated to Esko Ukkonen on the occasion of his 60th birthday
Multiscale, nonlinear and adaptive approximation : dedicated to Wolfgang Dahmen on the occasion of his 60th birthday
Special issue dedicated to Prof. Dr. Katharina Kohse-Höinghaus on the occasion of her 60th birthday
Essays in co-ordination chemistry : Dedicated to Gerold Schwarzenbach on his 60th birthday, 15 March 1964
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday ; [Festschrift]
Computation, cooperation, and life : essays dedicated to Gheorghe Păun on the occasion of his 60th Birthday
CEC and EKC, 11.. Dedicated to the 60th birthday of Dr. Salvatore Fanali
Dirichlet states : dedicated to Professor K. Iseki on the occasion of his 60th birthday
Efficient algorithms : essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday
Topics in discrete mathematics : dedicated to Jarik Nešetřil on the occasion of his 60th birthday
Mongolia at the Market : dedicated to the 60th anniversary of the School of Economic Studies
Algorithms and applications : essays dedicated to Esko Ukkonen on the occasion of his 60th birthday
Multiscale, nonlinear and adaptive approximation : dedicated to Wolfgang Dahmen on the occasion of his 60th birthday
Special issue dedicated to Prof. Dr. Katharina Kohse-Höinghaus on the occasion of her 60th birthday
Essays in co-ordination chemistry : Dedicated to Gerold Schwarzenbach on his 60th birthday, 15 March 1964
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday ; [Festschrift]