MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08191cam a2201129 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn262681466 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703144948.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
081017s2005 gw a ob 011 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
OCLCQ |
| -- |
HNK |
| -- |
DLC |
| -- |
HEBIS |
| -- |
UV0 |
| -- |
N$T |
| -- |
OCLCQ |
| -- |
YNG |
| -- |
E7B |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
A7U |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OCLCQ |
| -- |
UWO |
| -- |
YDXCP |
| -- |
IDEBK |
| -- |
SLY |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
VT2 |
| -- |
UAB |
| -- |
SHS |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
U3W |
| -- |
OCLCO |
| -- |
BUF |
| -- |
REB |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
STF |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
WYU |
| -- |
YOU |
| -- |
W2U |
| -- |
UX1 |
| -- |
AU@ |
| -- |
AUD |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
BWN |
| -- |
DCT |
| -- |
ZHM |
| -- |
ERF |
| -- |
OCLCQ |
| -- |
EUX |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
WSU |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCA |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
GBA620071 |
| Source |
bnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
977134075 |
| Source |
DE-101 |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
979452384 |
| Source |
DE-101 |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
013384462 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
62607951 |
| -- |
228160478 |
| -- |
228160479 |
| -- |
690009757 |
| -- |
704276604 |
| -- |
767169030 |
| -- |
785777403 |
| -- |
880022729 |
| -- |
964889823 |
| -- |
987674731 |
| -- |
993781839 |
| -- |
1005827158 |
| -- |
1006398383 |
| -- |
1009279360 |
| -- |
1012880197 |
| -- |
1014423453 |
| -- |
1020025686 |
| -- |
1026462681 |
| -- |
1027369980 |
| -- |
1035698936 |
| -- |
1036777196 |
| -- |
1038474274 |
| -- |
1039685929 |
| -- |
1044264499 |
| -- |
1044320115 |
| -- |
1056323932 |
| -- |
1056353189 |
| -- |
1058553706 |
| -- |
1060898455 |
| -- |
1066421422 |
| -- |
1069658009 |
| -- |
1075529845 |
| -- |
1077810948 |
| -- |
1081261968 |
| -- |
1087336379 |
| -- |
1091733246 |
| -- |
1097115718 |
| -- |
1102276553 |
| -- |
1105600342 |
| -- |
1110262417 |
| -- |
1110773618 |
| -- |
1110926750 |
| -- |
1112580377 |
| -- |
1119434175 |
| -- |
1132300025 |
| -- |
1162704264 |
| -- |
1170658058 |
| -- |
1170659158 |
| -- |
1238264653 |
| -- |
1262671759 |
| -- |
1406321869 |
| -- |
1418768719 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540324256 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540324259 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
354030911X |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540309116 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9786611406882 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
6611406883 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/11601548 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000042372329 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051338424 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
HEBIS |
| System control number |
178165166 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
HEBIS |
| System control number |
192068539 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
10675669 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
12056294 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058478385 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)262681466 |
| Canceled/invalid control number |
(OCoLC)62607951 |
| -- |
(OCoLC)228160478 |
| -- |
(OCoLC)228160479 |
| -- |
(OCoLC)690009757 |
| -- |
(OCoLC)704276604 |
| -- |
(OCoLC)767169030 |
| -- |
(OCoLC)785777403 |
| -- |
(OCoLC)880022729 |
| -- |
(OCoLC)964889823 |
| -- |
(OCoLC)987674731 |
| -- |
(OCoLC)993781839 |
| -- |
(OCoLC)1005827158 |
| -- |
(OCoLC)1006398383 |
| -- |
(OCoLC)1009279360 |
| -- |
(OCoLC)1012880197 |
| -- |
(OCoLC)1014423453 |
| -- |
(OCoLC)1020025686 |
| -- |
(OCoLC)1026462681 |
| -- |
(OCoLC)1027369980 |
| -- |
(OCoLC)1035698936 |
| -- |
(OCoLC)1036777196 |
| -- |
(OCoLC)1038474274 |
| -- |
(OCoLC)1039685929 |
| -- |
(OCoLC)1044264499 |
| -- |
(OCoLC)1044320115 |
| -- |
(OCoLC)1056323932 |
| -- |
(OCoLC)1056353189 |
| -- |
(OCoLC)1058553706 |
| -- |
(OCoLC)1060898455 |
| -- |
(OCoLC)1066421422 |
| -- |
(OCoLC)1069658009 |
| -- |
(OCoLC)1075529845 |
| -- |
(OCoLC)1077810948 |
| -- |
(OCoLC)1081261968 |
| -- |
(OCoLC)1087336379 |
| -- |
(OCoLC)1091733246 |
| -- |
(OCoLC)1097115718 |
| -- |
(OCoLC)1102276553 |
| -- |
(OCoLC)1105600342 |
| -- |
(OCoLC)1110262417 |
| -- |
(OCoLC)1110773618 |
| -- |
(OCoLC)1110926750 |
| -- |
(OCoLC)1112580377 |
| -- |
(OCoLC)1119434175 |
| -- |
(OCoLC)1132300025 |
| -- |
(OCoLC)1162704264 |
| -- |
(OCoLC)1170658058 |
| -- |
(OCoLC)1170659158 |
| -- |
(OCoLC)1238264653 |
| -- |
(OCoLC)1262671759 |
| -- |
(OCoLC)1406321869 |
| -- |
(OCoLC)1418768719 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-540-30911-6 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA267 |
| Item number |
.P76 2005eb |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
MAT |
| Subject category code subdivision |
016000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
MAT |
| Subject category code subdivision |
018000 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
bicssc |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.3 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.10 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
TP301 |
| Number source |
clc |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Processes, terms and cycles : |
| Remainder of title |
steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday / |
| Statement of responsibility, etc. |
Aart Middeldorp [and others] (eds.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2005. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xviii, 638 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
3838. |
| Series statement |
Festschrift |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Terms governing access |
Available to OhioLINK libraries. |
| 600 16 - SUBJECT ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Klop, J. W. |
| 9 (RLIN) |
27967 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Rewriting systems (Computer science) |
| 9 (RLIN) |
19840 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Lambda calculus. |
| 9 (RLIN) |
21584 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Processes, Infinite. |
| 9 (RLIN) |
27968 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Lambda-calcul. |
| 9 (RLIN) |
27969 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Processus infinis. |
| 9 (RLIN) |
27970 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Systèmes de réécriture (Informatique) |
| 9 (RLIN) |
927733 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
MATHEMATICS |
| General subdivision |
Infinity. |
| Source of heading or term |
bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
MATHEMATICS |
| General subdivision |
Logic. |
| Source of heading or term |
bisacsh |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Lambda calculus. |
| Source of heading or term |
cct |
| 9 (RLIN) |
21584 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Rewriting systems (Computer science) |
| Source of heading or term |
cct |
| 9 (RLIN) |
19840 |
| 650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Machine theory. |
| Source of heading or term |
cct |
| 9 (RLIN) |
14628 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Lambda calculus |
| Source of heading or term |
fast |
| 9 (RLIN) |
21584 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Processes, Infinite |
| Source of heading or term |
fast |
| 9 (RLIN) |
27968 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Rewriting systems (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
19840 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Lambda-Kalkül |
| Source of heading or term |
gnd |
| 9 (RLIN) |
27974 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Prozessalgebra |
| Source of heading or term |
gnd |
| 9 (RLIN) |
23821 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Aspektorientierte Programmierung |
| Source of heading or term |
gnd |
| 9 (RLIN) |
17352 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Constraint-Programmierung |
| Source of heading or term |
gnd |
| 9 (RLIN) |
19261 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Reduktionssystem |
| Source of heading or term |
gnd |
| 9 (RLIN) |
26324 |
| 653 1# - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Processes |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Festschriften |
| Source of term |
fast |
| 9 (RLIN) |
109631 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Festschriften. |
| Source of term |
lcgft |
| 9 (RLIN) |
109631 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Middeldorp, Aart, |
| Dates associated with a name |
1963- |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJcC3ff3qk7CytWMWxb68C |
| 9 (RLIN) |
27975 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Klop, J. W. |
| 9 (RLIN) |
27967 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Processes, terms and cycles (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCFTgGTF4HqtcTdtWq9CgjC |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
OhioLINK electronic book center |
| Record control number |
(OCoLC)180989150 |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
SpringerLink |
| Record control number |
(OCoLC)43927870 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Title |
Processes, terms and cycles. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, ©2005 |
| International Standard Book Number |
354030911X |
| -- |
9783540309116 |
| Record control number |
(DLC) 2005937699 |
| -- |
(OCoLC)63107694 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
3838. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science. |
| Name of part/section of a work |
Festschrift. |
| 9 (RLIN) |
19696 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/11601548">https://link.springer.com/10.1007/11601548</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH20752355 |
| 938 ## - |
|---|
| -- |
EBL - Ebook Library |
| -- |
EBLB |
| -- |
EBL3067872 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10528816 |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
183571 |
| 938 ## - |
|---|
| -- |
ProQuest MyiLibrary Digital eBook Collection |
| -- |
IDEB |
| -- |
cis23803414 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
3023717 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |