Coverart for item
The Resource Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday, Aart Middeldorp [and others] (eds.)

Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday, Aart Middeldorp [and others] (eds.)

Label
Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Title
Processes, terms and cycles
Title remainder
steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Statement of responsibility
Aart Middeldorp [and others] (eds.)
Contributor
Subject
Language
eng
Summary
This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthday. The volume comprises a total of 23 scientific papers by close friends and colleagues, written specifically for this book. The papers are different in nature: some report on new research, others have the character of a survey, and again others are mainly expository. Every contribution has been thoroughly refereed at least twice. In many cases the first round of referee reports led to significant revision of the original paper, which was again reviewed. The articles especially focus upon the lambda calculus, term rewriting and process algebra, the fields to which Jan Willem Klop has made fundamental contributions
Member of
Cataloging source
GW5XE
Dewey number
511.3
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA267
LC item number
.P76 2005eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1963-
http://library.link/vocab/relatedWorkOrContributorName
  • Middeldorp, Aart
  • Klop, J. W
Series statement
  • Lecture notes in computer science,
  • Festschrift
Series volume
3838.
http://library.link/vocab/subjectName
  • Rewriting systems (Computer science)
  • Lambda calculus
  • Processes, Infinite
  • Klop, J. W
  • Lambda-calcul
  • Processus infinis
  • Réécriture, Systèmes de (Informatique)
  • MATHEMATICS
  • MATHEMATICS
  • Lambda calculus
  • Rewriting systems (Computer science)
  • Machine theory
  • Informatique
  • Lambda calculus
  • Processes, Infinite
  • Rewriting systems (Computer science)
  • Lambda-Kalkül
  • Prozessalgebra
  • Aspektorientierte Programmierung
  • Constraint-Programmierung
  • Reduktionssystem
Label
Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday, Aart Middeldorp [and others] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
The Spectra of Words -- On the Undecidability of Coherent Logic -- Löb's Logic Meets the?-Calculus -- A Characterisation of Weak Bisimulation Congruence -- Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms -- Explaining Constraint Programming -- Sharing in the Weak Lambda-Calculus -- Term Rewriting Meets Aspect-Oriented Programming -- Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes -- Primitive Rewriting -- Infinitary Rewriting: From Syntax to Semantics -- Reducing Right-Hand Sides for Termination -- Reduction Strategies for Left-Linear Term Rewriting Systems -- Higher-Order Rewriting: Framework, Confluence and Termination -- Timing the Untimed: Terminating Successfully While Being Conservative -- Confluence of Graph Transformation Revisited -- Compositional Reasoning for Probabilistic Finite-State Behaviors -- Finite Equational Bases in Process Algebra: Results and Open Questions -- Skew and?-Skew Confluence and Abstract Böhm Semantics -- A Mobility Calculus with Local and Dependent Types -- Model Theory for Process Algebra -- Expression Reduction Systems and Extensions: An Overview -- Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem
Control code
262681466
Dimensions
unknown
Extent
1 online resource (xviii, 638 pages)
Form of item
online
Isbn
9783540324256
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/11601548
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-30911-6
Specific material designation
remote
System control number
(OCoLC)262681466
Label
Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday, Aart Middeldorp [and others] (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
The Spectra of Words -- On the Undecidability of Coherent Logic -- Löb's Logic Meets the?-Calculus -- A Characterisation of Weak Bisimulation Congruence -- Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms -- Explaining Constraint Programming -- Sharing in the Weak Lambda-Calculus -- Term Rewriting Meets Aspect-Oriented Programming -- Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes -- Primitive Rewriting -- Infinitary Rewriting: From Syntax to Semantics -- Reducing Right-Hand Sides for Termination -- Reduction Strategies for Left-Linear Term Rewriting Systems -- Higher-Order Rewriting: Framework, Confluence and Termination -- Timing the Untimed: Terminating Successfully While Being Conservative -- Confluence of Graph Transformation Revisited -- Compositional Reasoning for Probabilistic Finite-State Behaviors -- Finite Equational Bases in Process Algebra: Results and Open Questions -- Skew and?-Skew Confluence and Abstract Böhm Semantics -- A Mobility Calculus with Local and Dependent Types -- Model Theory for Process Algebra -- Expression Reduction Systems and Extensions: An Overview -- Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem
Control code
262681466
Dimensions
unknown
Extent
1 online resource (xviii, 638 pages)
Form of item
online
Isbn
9783540324256
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/11601548
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-30911-6
Specific material designation
remote
System control number
(OCoLC)262681466

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...