Treffer: Rewriting, Computation and Proof

Titel:

Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner

Beteiligt:

Comon-Lundh, Hubert (Herausgeber); Kirchner, Claude (Herausgeber); Kirchner, Hélène (Herausgeber)

Ausgabe:

1st ed. 2007

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XVI, 276 Seiten)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 4600

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Rewriting, Computation and Proof. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540731467

RVK-Notation:

SS 4000

Schlagworte:

ISBN:

9783540731474 ; 3540731474 ; 9783540731467 (Sekundärausgabe) ; 9783540839712 (Sekundärausgabe)

DOI:

10.1007/978-3-540-73147-4

Treffer: Rewriting, Computation and Proof

Zusatz-Informationen

Zusatz-Funktionen