Logical Foundations of Computer Science
4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
Mitarbeit:Adian, Sergei; Nerode, Anil
Logical Foundations of Computer Science
4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
Mitarbeit:Adian, Sergei; Nerode, Anil
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997. The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community.
- DershowitzConditional and Typed Rewriting Systems39,99 €
- GanzingerRewriting Techniques and Applications39,99 €
- Jouko Väänänen (ed.)Generalized Quantifiers and Computation39,99 €
- Logic Programming and Nonmonotonic Reasoning39,99 €
- Vincent van Oostrom (ed.)Rewriting Techniques and Applications39,99 €
- Gerd WagnerVivid Logic39,99 €
- Paul Callaghan / Zhaohui Luo / James McKinna / Robert Pollack (eds.)Types for Proofs and Programs39,99 €
-
-
-
The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community.
- Produktdetails
- Lecture Notes in Computer Science 1234
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 10548775, 978-3-540-63045-6
- 1997.
- Seitenzahl: 448
- Erscheinungstermin: 28. Mai 1997
- Englisch
- Abmessung: 235mm x 155mm x 25mm
- Gewicht: 590g
- ISBN-13: 9783540630456
- ISBN-10: 3540630457
- Artikelnr.: 09197680
- Lecture Notes in Computer Science 1234
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 10548775, 978-3-540-63045-6
- 1997.
- Seitenzahl: 448
- Erscheinungstermin: 28. Mai 1997
- Englisch
- Abmessung: 235mm x 155mm x 25mm
- Gewicht: 590g
- ISBN-13: 9783540630456
- ISBN-10: 3540630457
- Artikelnr.: 09197680