ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Michael Hanus has written 5 work(s)
Search for other authors with the same name
displaying 1 to 5 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783540617358 Cover for 9783540634591 Cover for 9783540696087 Cover for 9783642005145 Cover for 9783642006746
1
Algebraic and Logic Programming: 5th International Confernence, Alp '96, Aachen, Germany, September 25-27, 1996 : Proceedings
cover image for 9783540617358
Product Description: This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS. The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems"...read more
By Alp 9 (other contributor), Michael Hanus and M. Rodriguez Artalejo
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783540617358 | Springer Verlag, September 1, 1996, cover price $82.95 | About this edition: This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.

2
Algebraic and Logic Programming: 6th International Joint Conference, Alp '97-Hoa '97, Southampton, Uk. September 3-5, 1997 : Proceedings
cover image for 9783540634591
Product Description: This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997...read more
By Michael Hanus (editor), J. Heering (editor) and K. Meinke (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783540634591 | Springer Verlag, September 1, 1997, cover price $71.95 | About this edition: This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.

3
Practical Aspects of Declarative Languages: 9th International Symposium, Padl 2007, Nice, France,january 14-15, 2007, Proceedings
cover image for 9783540696087
Product Description: This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages...read more
By Michael Hanus (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783540696087 | Springer-Verlag New York Inc, February 13, 2007, cover price $79.95 | About this edition: This book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages.

4
Logic-based Program Synthesis and Transformation: 18th International Symposium, Lopstr 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
cover image for 9783642005145
Product Description: This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book...read more
By Michael Hanus (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783642005145 | Springer-Verlag New York Inc, March 1, 2009, cover price $69.95 | About this edition: This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008.

5
Applications of Declarative Programming and Knowledge Management: 17th International Conference, Inap 2007, and 21st Workshop on Logic Programming, Wlp 2007, Wurzburg, Germany, October 4-6, 2007, Revised Selected Pap
cover image for 9783642006746
Product Description: This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007...read more
By Michael Hanus (editor), Dietmar Seipel (editor) and Armin Wolf (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9783642006746 | Springer Verlag, December 30, 2009, cover price $49.95 | About this edition: This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007.

displaying 1 to 5 | at end