Produktbild
Aart (Hrsg.) Middeldorp

Processes, Terms and Cycles: Steps on the Road to Infinity

Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

Buch

This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthdayon December 19,2005.Its focus is on the lambda calculus, term rewr- ing and process algebra, the ?elds where Jan Willem has made fundamental contributions. Without attempting to give a balanced account of Jan Willem's scienti?c achievements, we recall three accomplishments from the early years of his career that especially stand out. The ?rst is his counterexample showing that the extension of the lambda calculus with surjective pairing lacks the Church-Rosserproperty,or, in modern terminology, is not con?uent [7,9]. This settled a famous open problem, which… Mehr

CHF 158.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: de Vrijer, Roel (Hrsg.) / Raamsdonk, Femke van (Hrsg.) / Oostrom, Vincent van (Hrsg.)
  • ISBN: 978-3-540-30911-6
  • EAN: 9783540309116
  • Produktnummer: 1887646
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2005
  • Seitenangabe: 660 S.
  • Masse: H23.5 cm x B15.5 cm x D3.5 cm 984 g
  • Auflage: 2005
  • Abbildungen: Paperback
  • Gewicht: 984

9 weitere Werke von Aart (Hrsg.) Middeldorp:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.