Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /
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...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin :
Springer-Verlag,
c2005
Berlin : Springer, ©2005 Berlin ; New York : c2005 Berlin ; New York : ©2005 Berlin : [2005] |
| Series: | Lecture notes in computer science ;
3838 Lecture notes in computer science Festschrift. Lecture notes in computer science 3838 |
| Subjects: |
| LEADER | 10170nam a22017417a 4500 | ||
|---|---|---|---|
| 001 | 2db1bdcd-218f-49e2-96a5-979d43abc2f9 | ||
| 005 | 20240926000000.0 | ||
| 008 | 051122s2005 gw a b 011 0 eng d | ||
| 010 | |a 2005937699 | ||
| 010 | |a 2005937699 | ||
| 015 | |a GBA620071 |2 bnb | ||
| 016 | 7 | |a 013384462 |2 Uk | |
| 016 | 7 | |a 977134075 |2 DE-101 | |
| 016 | 7 | |a 979452384 |2 DE-101 | |
| 019 | |a 224926061 | ||
| 019 | |a 62607951 |a 228160478 |a 228160479 |a 690009757 |a 704276604 |a 767169030 |a 785777403 |a 880022729 |a 964889823 |a 987674731 | ||
| 020 | |a 354030911X | ||
| 020 | |a 3540324259 | ||
| 020 | |a 6611406883 | ||
| 020 | |a 9783540309116 | ||
| 020 | |a 9783540324256 | ||
| 020 | |a 9786611406882 | ||
| 029 | 1 | |a AU@ |b 000040366007 | |
| 029 | 1 | |a HEBIS |b 135456797 | |
| 029 | 1 | |a NLGGC |b 291234593 | |
| 029 | 1 | |a OHX |b har050140504 | |
| 029 | 1 | |a YDXCP |b 2382721 | |
| 035 | |a (MdBJ)2590984 | ||
| 035 | |a (OCoLC)262681466 |z (OCoLC)62607951 |z (OCoLC)228160478 |z (OCoLC)228160479 |z (OCoLC)690009757 |z (OCoLC)704276604 |z (OCoLC)767169030 |z (OCoLC)785777403 |z (OCoLC)880022729 |z (OCoLC)964889823 |z (OCoLC)987674731 | ||
| 035 | |a (OCoLC)63107694 |z (OCoLC)224926061 | ||
| 035 | |a (OCoLC)ELEC62607951 | ||
| 035 | |a (OCoLC)ELECocm62607951 | ||
| 035 | |a (OCoLC-I)275767259 | ||
| 035 | |a (OCoLC-M)63107694 | ||
| 035 | |a (PU)4387168-penndb-Voyager | ||
| 035 | |a (PUVoyagerBIBID)4387168 | ||
| 035 | |a (RPB)b3910929x-01bu_inst | ||
| 035 | |a (Sirsi) a6310185 | ||
| 035 | |a (Sirsi) ocm63107694 | ||
| 035 | |a 2590984 |9 ExL | ||
| 035 | |a 4387168 | ||
| 035 | |a ocm63107694 | ||
| 035 | |z (OCoLC)224926061 | ||
| 037 | |a 978-3-540-30911-6 |b Springer |n http://www.springerlink.com | ||
| 040 | |a ERL |c ERL |d OHX |d UKM |d WTU |d C$Q |d CSt | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d OCLCQ |d HNK |d DLC |d HEBIS |d UV0 |d N$T |d OCLCQ |d YNG |d E7B |d OCLCO |d OCLCQ |d A7U |d OCLCQ |d OCLCF |d BEDGE |d OCLCQ |d UWO |d YDXCP |d IDEBK |d SLY |d OCLCQ |d EBLCP |d VT2 |d UAB | ||
| 040 | |a HNK |b eng |c HNK |d DLC |d ERL |d OHX |d UKM |d WTU |d C$Q |d BAKER |d IXA |d NLGGC |d YDXCP |d LVB |d BTCTA |d DRB |d DEBSZ |d HEBIS |d GW5XE |d E7B |d UKMGB |d OCLCF |d OCLCO |d AU@ |d NhCcYME | ||
| 040 | |a HNK |b eng |c HNK |d DLC |d ERL |d OHX |d UKM |d WTU |d C$Q |d BAKER |d IXA |d NLGGC |d YDXCP |d LVB |d BTCTA |d DRB |d DEBSZ |d HEBIS |d GW5XE |d E7B |d UKMGB |d OCLCF |d OCLCO |d AU@ |d OCLCO |d OCLCQ |d OCL | ||
| 040 | |a HNK |b eng |c HNK |d DLC | ||
| 042 | |a lccopycat | ||
| 049 | |a JHEE | ||
| 049 | |a MAIN | ||
| 049 | |a PAUU | ||
| 049 | |a RBNN | ||
| 050 | 4 | |a QA267 |b .P76 2005eb | |
| 050 | 0 | 0 | |a QA9.5 |b .P76 2005 |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 084 | |a 54.10 |2 bcl | ||
| 084 | |a TP301 |2 clc | ||
| 090 | |a QA267 |b .P76 2005 | ||
| 090 | |a QA267 |b .P76x 2005 | ||
| 245 | 0 | 0 | |a Processes, terms and cycles : |b steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / |c Aart Middeldorp ... [et al.] (eds.) |
| 260 | |a Berlin : |b Springer-Verlag, |c c2005 | ||
| 260 | |a Berlin : |b Springer-Verlag, |c ©2005 | ||
| 260 | |a Berlin ; |a New York : |b Springer, |c c2005 | ||
| 260 | |a Berlin ; |a New York : |b Springer, |c ©2005 | ||
| 264 | 1 | |a Berlin : |b Springer-Verlag, |c [2005] | |
| 264 | 4 | |c ©2005 | |
| 300 | |a 1 online resource (xviii, 638 pages) : |b illustrations | ||
| 300 | |a xviii, 638 p. : |b ill | ||
| 300 | |a xviii, 638 p. : |b ill. ; |c 24 cm | ||
| 300 | |a xviii, 638 pages : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 340 | |g polychrome |2 rdacc | ||
| 347 | |a text file |2 rdaft | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 3838 | |
| 490 | 1 | |a Lecture notes in computer science | |
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3838 |a Festschrift | |
| 504 | |a Includes bibliographic references and index | ||
| 504 | |a Includes bibliographical references and index | ||
| 505 | 0 | |a The Spectra of Words -- On the Undecidability of Coherent Logic -- Löb{u2019}s Logic Meets the?-Calculus -- A Characterisation of Weak Bisimulation Congruence -- Böhm{u2019}s Theorem, Church{u2019}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 | |
| 506 | |a Restricted for use by site license | ||
| 520 | |a 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 | ||
| 530 | |a Also available in print | ||
| 530 | |a Also issued online | ||
| 533 | |a Electronic reproduction |b Berlin : |c Springer-Verlag, |d 2005. |n Mode of access: World Wide Web. | ||
| 538 | |a Mode of access: World Wide Web | ||
| 588 | 0 | |a Print version record | |
| 590 | |a OCLC |b WorldCat Holdings | ||
| 590 | |a SpringerLink |b Springer Lecture Notes in Computer Science | ||
| 600 | 1 | 0 | |a Klop, J. W |
| 600 | 1 | 6 | |a Klop, J. W |1 http://viaf.org/viaf/77651947 |
| 650 | 0 | |a Lambda calculus | |
| 650 | 0 | |a Machine theory | |
| 650 | 0 | |a Processes, Infinite | |
| 650 | 0 | |a Rewriting systems (Computer science) | |
| 650 | 6 | |a Lambda-calcul | |
| 650 | 6 | |a Processus infinis | |
| 650 | 6 | |a Réécriture, Systèmes de (Informatique) | |
| 650 | 7 | |a Informatique |2 eclas | |
| 650 | 7 | |a Lambda calculus |2 fast | |
| 650 | 7 | |a MATHEMATICS |x Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic |2 bisacsh | |
| 650 | 7 | |a Machine theory |2 fast | |
| 650 | 7 | |a Processes, Infinite |2 fast | |
| 650 | 7 | |a Rewriting systems (Computer science) |2 fast | |
| 650 | 0 | 7 | |a Aspektorientierte Programmierung |2 swd |
| 650 | 0 | 7 | |a Constraint-Programmierung |2 swd |
| 650 | 0 | 7 | |a Lambda calculus |2 cct |
| 650 | 0 | 7 | |a Lambda-Kalkül |2 swd |
| 650 | 0 | 7 | |a Machine theory |2 cct |
| 650 | 0 | 7 | |a Prozessalgebra |2 swd |
| 650 | 0 | 7 | |a Reduktionssystem |2 swd |
| 650 | 0 | 7 | |a Rewriting systems (Computer science) |2 cct |
| 650 | 1 | 4 | |a Computer Science |
| 650 | 2 | 4 | |a Artificial Intelligence (incl. Robotics) |
| 650 | 2 | 4 | |a Logics and Meanings of Programs |
| 650 | 2 | 4 | |a Mathematical Logic and Formal Languages |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations |
| 653 | 1 | |a Processes | |
| 655 | 4 | |a Electronic books | |
| 655 | 7 | |a Festschriften |2 fast | |
| 655 | 7 | |a Festschriften |2 lcgft | |
| 700 | 1 | |a Klop, J. W |1 http://viaf.org/viaf/77651947 | |
| 700 | 1 | |a Klop, J. W | |
| 700 | 1 | |a Middeldorp, Aart, |d 1963- |1 http://viaf.org/viaf/27927696 | |
| 700 | 1 | |a Middeldorp, Aart, |d 1963- | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 776 | 0 | 8 | |i Print version: |t Processes, terms and cycles |d Berlin ; New York : Springer, ©2005 |z 354030911X |z 9783540309116 |w (DLC) 2005937699 |w (OCoLC)63107694 |
| 830 | 0 | |a Lecture notes in computer science ; |v 3838 | |
| 830 | 0 | |a Lecture notes in computer science |p Festschrift. | |
| 830 | 0 | |a Lecture notes in computer science |v 3838 | |
| 999 | 1 | 0 | |i 2db1bdcd-218f-49e2-96a5-979d43abc2f9 |l a6310185 |s US-CST |m processes_terms_and_cyclessteps_on_the_road_to_infinity_essays_dedicat_____2005_______sprina___________________________________________________________________________e |
| 999 | 1 | 0 | |i 2db1bdcd-218f-49e2-96a5-979d43abc2f9 |l 11068542 |s US-ICU |m processes_terms_and_cyclessteps_on_the_road_to_infinity_essays_dedicat_____2005_______sprina___________________________________________________________________________e |
| 999 | 1 | 0 | |i 2db1bdcd-218f-49e2-96a5-979d43abc2f9 |l 991030239809707861 |s US-MDBJ |m processes_terms_and_cyclessteps_on_the_road_to_infinity_essays_dedicat_____2005_______sprina___________________________________________________________________________e |
| 999 | 1 | 0 | |i 2db1bdcd-218f-49e2-96a5-979d43abc2f9 |l 9943871683503681 |s US-PU |m processes_terms_and_cyclessteps_on_the_road_to_infinity_essays_dedicat_____2005_______sprina___________________________________________________________________________e |
| 999 | 1 | 0 | |i 2db1bdcd-218f-49e2-96a5-979d43abc2f9 |l 991004570289706966 |s US-RPB |m processes_terms_and_cyclessteps_on_the_road_to_infinity_essays_dedicat_____2005_______sprina___________________________________________________________________________e |
| 999 | 1 | 1 | |l a6310185 |s ISIL:US-CST |t BKS |b 7e79e937-bd25-5ad7-98f8-44bfa6d654b4 |y 7e79e937-bd25-5ad7-98f8-44bfa6d654b4 |p UNLOANABLE |
| 999 | 1 | 1 | |l a6310185 |s ISIL:US-CST |t BKS |a SAL3-STACKS |b 36105121910652 |c QA267 .P76 2005 |d Library of Congress classification |k 1 |x book |y 36105121910652 |p UNLOANABLE |
| 999 | 1 | 1 | |l a6310185 |s ISIL:US-CST |t BKS |a SUL-ELECTRONIC |p UNLOANABLE |
| 999 | 1 | 1 | |l 991030239809707861 |s ISIL:US-MDBJ |t BKS |a LSC shmoffs |b 31151025211818 |c QA267.P76 2005 |d 0 |x jhbooks |y 23409107090007861 |p LOANABLE |
| 999 | 1 | 1 | |l 991004570289706966 |s ISIL:US-RPB |t BKS |a ROCK RKSTORAGE |b 31236018963689 |c QA267 .P76x 2005 |d 0 |y 23278319670006966 |p LOANABLE |