Mathematical Foundations of Computer Science 1996
21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
Mitarbeit:Penczek, Wojciech; Szalas, Andrzej
Mathematical Foundations of Computer Science 1996
21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
Mitarbeit:Penczek, Wojciech; Szalas, Andrzej
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996.The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers and 2 abstracts of invited talks. The papers included cover issues from the whole area of theoretical computer science, with a certain emphasis on mathematical and logical foundations. The 10 invited presentations are of particular value.
- Jörg Flum / Mario Rodriguez-Artalejo (eds.)Computer Science Logic39,99 €
- PrivaraMathematical Foundations of Computer Science 199740,99 €
- PrivaraMathematical Foundations of Computer Science 199479,99 €
- DybjerTypes for Proofs and Programs40,99 €
- HagiyaTheoretical Aspects of Computer Software37,99 €
- Carlo Blundo / Cosimo Laneve (eds.)Theoretical Computer Science40,99 €
- Pawel Urzyczyn (ed.)Typed Lambda Calculi and Applications39,99 €
-
-
-
- Produktdetails
- Lecture Notes in Computer Science 1113
- Verlag: Springer, Berlin
- 1996.
- Seitenzahl: 612
- Erscheinungstermin: 7. August 1996
- Englisch
- Abmessung: 235mm x 155mm x 33mm
- Gewicht: 784g
- ISBN-13: 9783540615507
- ISBN-10: 3540615504
- Artikelnr.: 09241472
- Lecture Notes in Computer Science 1113
- Verlag: Springer, Berlin
- 1996.
- Seitenzahl: 612
- Erscheinungstermin: 7. August 1996
- Englisch
- Abmessung: 235mm x 155mm x 33mm
- Gewicht: 784g
- ISBN-13: 9783540615507
- ISBN-10: 3540615504
- Artikelnr.: 09241472