Aufsatzsammlung
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642294846
- Dimensions
-
24 cm
- Extent
-
XIII, 355 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
- Bibliographic citation
-
Lecture notes in computer science ; 7230 : Festschrift
- Keyword
-
Programmierlogik
Programmanalyse
Programmiersprache
Mathematische Methode
Kleene-Algebra
Koalgebra
Mathematische Logik
Komplexitätstheorie
Algorithmus
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2012
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
2025-06-11T13:53:06+0200
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
- Aufsatzsammlung
Associated
- Constable, Robert Lee
- Kozen, Dexter
- Springer
Time of origin
- 2012
Other Objects (12)
Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
CEC and EKC, 11.. Dedicated to the 60th birthday of Dr. Salvatore Fanali
Efficient algorithms : essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday
Dirichlet states : dedicated to Professor K. Iseki on the occasion of his 60th birthday
Topics in discrete mathematics : dedicated to Jarik Nešetřil on the occasion of his 60th birthday
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
Essays in co-ordination chemistry : Dedicated to Gerold Schwarzenbach on his 60th birthday, 15 March 1964
Computation, cooperation, and life : essays dedicated to Gheorghe Păun on the occasion of his 60th Birthday
Special issue dedicated to Prof. Dr. Katharina Kohse-Höinghaus on the occasion of her 60th birthday
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday ; [Festschrift]
Advances in mathematical fluid mechanics : dedicated to Giovanni Paolo Galdi on the occasion of his 60th birthday
Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
CEC and EKC, 11.. Dedicated to the 60th birthday of Dr. Salvatore Fanali
Efficient algorithms : essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday
Dirichlet states : dedicated to Professor K. Iseki on the occasion of his 60th birthday
Topics in discrete mathematics : dedicated to Jarik Nešetřil on the occasion of his 60th birthday
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
Essays in co-ordination chemistry : Dedicated to Gerold Schwarzenbach on his 60th birthday, 15 March 1964
Computation, cooperation, and life : essays dedicated to Gheorghe Păun on the occasion of his 60th Birthday
Special issue dedicated to Prof. Dr. Katharina Kohse-Höinghaus on the occasion of her 60th birthday
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday ; [Festschrift]
Advances in mathematical fluid mechanics : dedicated to Giovanni Paolo Galdi on the occasion of his 60th birthday
Semantics and algebraic specification : essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
CEC and EKC, 11.. Dedicated to the 60th birthday of Dr. Salvatore Fanali
Efficient algorithms : essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday
Dirichlet states : dedicated to Professor K. Iseki on the occasion of his 60th birthday
Topics in discrete mathematics : dedicated to Jarik Nešetřil on the occasion of his 60th birthday
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
Essays in co-ordination chemistry : Dedicated to Gerold Schwarzenbach on his 60th birthday, 15 March 1964
Computation, cooperation, and life : essays dedicated to Gheorghe Păun on the occasion of his 60th Birthday
Special issue dedicated to Prof. Dr. Katharina Kohse-Höinghaus on the occasion of her 60th birthday
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday ; [Festschrift]