Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday: 3838 (Lecture Notes in Computer Science, 3838) - Image 1

£55.20

Springer Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday: 3838 (Lecture Notes in Computer Science, 3838)

Name: Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday: 3838 (Lecture Notes in Computer Science, 3838)
Brand: Springer
Price: 64.6 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 19 days • 19 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 19 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £62 (17 days, 89.5%)

Price range: £55 - £65

Price levels: 3 different prices over 19 days

Description

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 had challenged several researchers in the lambda calculus community for years. The secondis his pioneeringworkintermrewriting.In hisPhDthesis[9],Jan Willem gave a systematic study of orthogonal rewriting in the general setting of combinatoryreductionsystems(CRSs),therebyputtingtheareasofhigher-order rewriting and orthogonality ?rmly on the map. Some of the ideas in the thesis trace back to the famous Blue Preprint [2], from the period that Jan Willem and some other students were graduating in mathematics and logic, under the supervision of Dirk van Dalen and Henk Barendregt. The third feat is the creation, together with Jan Bergstra [23], of the algebra of communicating processes (ACP). With his early work,Jan Willem provided inspiration for many years of fru- ful research, continuing to this day. For decades he has been a creative and stimulating force in the areas of term rewriting and process algebra. Some of his recent interests are in?nitary rewriting, graph rewriting and the geometry of processes.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 354030911X
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 13 December 2005
Listed Since: 10 December 2006

Barcode

No barcode data available

Springer Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday: 3838 (Lecture Notes in Computer Science, 3838)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics: Festschrift for Antonio Campillo on the Occasion of his 65th Birthday

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics: 20 (Outstanding Contributions to Logic, 20)

Language Computability and Formal Language Theory

From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)

Reversibility and Universality: Essays Presented to Kenichi Morita on the Occasion of his 70th Birthday: 30 (Emergence, Complexity and Computation, 30)

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)

Springer Computational Invariant Theory: 130 Mathematics Book

Springer Well-Quasi Orders in Computation, Logic and Reasoning

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Hiroakira Ono on Substructural Logics: 23 (Outstanding Contributions to Logic, 23)

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday: 6463 (Lecture Notes in Computer Science, 6463)

Advances in Unconventional Computing: Volume 1: Theory: 22 (Emergence, Complexity and Computation, 22)

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

A Process Algebraic Approach to Software Architecture Design

Handbook of Philosophical Logic: Volume 8

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Reflections on Programming Systems: Historical and Philosophical Aspects: 133 (Philosophical Studies Series, 133)

Mathematics in Programming

Statistical Analysis of Time Series P: 50 (Wiley Classics Library)

Relative Trace Formulas (Simons Symposia)

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems