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.)
Resource Information
The item 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.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item 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.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 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
 Language
 eng
 Extent
 1 online resource (xviii, 638 pages)
 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 LambdaCalculus
 Term Rewriting Meets AspectOriented Programming
 Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes
 Primitive Rewriting
 Infinitary Rewriting: From Syntax to Semantics
 Reducing RightHand Sides for Termination
 Reduction Strategies for LeftLinear Term Rewriting Systems
 HigherOrder Rewriting: Framework, Confluence and Termination
 Timing the Untimed: Terminating Successfully While Being Conservative
 Confluence of Graph Transformation Revisited
 Compositional Reasoning for Probabilistic FiniteState 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
 Isbn
 9783540309116
 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.)
 Subject

 Aspektorientierte Programmierung
 ConstraintProgrammierung
 Informatique
 Klop, J. W
 Lambda calculus
 Lambda calculus
 Lambda calculus
 Lambda calculus
 LambdaKalkül
 Lambdacalcul
 MATHEMATICS  Infinity
 MATHEMATICS  Logic
 Machine theory
 Processes, Infinite
 Processes, Infinite
 Processes, Infinite
 Processus infinis
 Prozessalgebra
 Reduktionssystem
 Rewriting systems (Computer science)
 Rewriting systems (Computer science)
 Rewriting systems (Computer science)
 Rewriting systems (Computer science)
 Réécriture, Systèmes de (Informatique)
 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
 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
 Lambdacalcul
 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)
 LambdaKalkül
 Prozessalgebra
 Aspektorientierte Programmierung
 ConstraintProgrammierung
 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.)
 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 LambdaCalculus  Term Rewriting Meets AspectOriented Programming  Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes  Primitive Rewriting  Infinitary Rewriting: From Syntax to Semantics  Reducing RightHand Sides for Termination  Reduction Strategies for LeftLinear Term Rewriting Systems  HigherOrder Rewriting: Framework, Confluence and Termination  Timing the Untimed: Terminating Successfully While Being Conservative  Confluence of Graph Transformation Revisited  Compositional Reasoning for Probabilistic FiniteState 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
 9783540309116
 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
 9783540309116
 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.)
 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 LambdaCalculus  Term Rewriting Meets AspectOriented Programming  Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes  Primitive Rewriting  Infinitary Rewriting: From Syntax to Semantics  Reducing RightHand Sides for Termination  Reduction Strategies for LeftLinear Term Rewriting Systems  HigherOrder Rewriting: Framework, Confluence and Termination  Timing the Untimed: Terminating Successfully While Being Conservative  Confluence of Graph Transformation Revisited  Compositional Reasoning for Probabilistic FiniteState 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
 9783540309116
 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
 9783540309116
 Specific material designation
 remote
 System control number
 (OCoLC)262681466
Subject
 Aspektorientierte Programmierung
 ConstraintProgrammierung
 Informatique
 Klop, J. W
 Lambda calculus
 Lambda calculus
 Lambda calculus
 Lambda calculus
 LambdaKalkül
 Lambdacalcul
 MATHEMATICS  Infinity
 MATHEMATICS  Logic
 Machine theory
 Processes, Infinite
 Processes, Infinite
 Processes, Infinite
 Processus infinis
 Prozessalgebra
 Reduktionssystem
 Rewriting systems (Computer science)
 Rewriting systems (Computer science)
 Rewriting systems (Computer science)
 Rewriting systems (Computer science)
 Réécriture, Systèmes de (Informatique)
Member of
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Processestermsandcyclesstepsontheroad/OjHHaDCspLc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Processestermsandcyclesstepsontheroad/OjHHaDCspLc/">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.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item 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.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Processestermsandcyclesstepsontheroad/OjHHaDCspLc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Processestermsandcyclesstepsontheroad/OjHHaDCspLc/">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.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>