MARC details
| 000 -LEADER |
|---|
| fixed length control field |
07072cam a2200733 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn165141227 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703143600.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 mn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
070817s1999 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
BUF |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
BUF |
| Modifying agency |
UAB |
| -- |
OCLCQ |
| -- |
E7B |
| -- |
YDXCP |
| -- |
OCLCQ |
| -- |
OUN |
| -- |
IDEBK |
| -- |
DKDLA |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
NLGGC |
| -- |
GW5XE |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
BUF |
| -- |
STF |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
OCLCQ |
| -- |
CANPU |
| -- |
CNTRU |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
WSU |
| -- |
OCLCO |
| -- |
OCLCL |
| 019 ## - |
|---|
| -- |
191926357 |
| -- |
209207742 |
| -- |
228372436 |
| -- |
612306485 |
| -- |
648319435 |
| -- |
771194024 |
| -- |
1005797119 |
| -- |
1035717535 |
| -- |
1056336499 |
| -- |
1078871827 |
| -- |
1081266621 |
| -- |
1097294835 |
| -- |
1148123001 |
| -- |
1162755929 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540483403 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540483403 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9786610957774 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
6610957770 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540664084 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540664086 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051687387 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
304434515 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14996270 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15297089 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)165141227 |
| Canceled/invalid control number |
(OCoLC)191926357 |
| -- |
(OCoLC)209207742 |
| -- |
(OCoLC)228372436 |
| -- |
(OCoLC)612306485 |
| -- |
(OCoLC)648319435 |
| -- |
(OCoLC)771194024 |
| -- |
(OCoLC)1005797119 |
| -- |
(OCoLC)1035717535 |
| -- |
(OCoLC)1056336499 |
| -- |
(OCoLC)1078871827 |
| -- |
(OCoLC)1081266621 |
| -- |
(OCoLC)1097294835 |
| -- |
(OCoLC)1148123001 |
| -- |
(OCoLC)1162755929 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.9.M35 |
| Item number |
S96 1999eb |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004.0151 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.10 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
Symposium on Mathematical Foundations of Computer Science (1972- ) |
| Number of part/section/meeting |
(24th : |
| Date of meeting |
1999 : |
| Location of meeting |
Szklarska Poręba, Poland) |
| 9 (RLIN) |
21238 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Mathematical foundations of computer science 1999 : |
| Remainder of title |
24th international symposium, MFCS'99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings / |
| Statement of responsibility, etc. |
Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (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. |
©1999. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xii, 453 pages) : |
| Other physical details |
illustrations : digital, HTML and PDF files |
| 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 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
1672 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99, held in Szklarska Poreba, Poland, in September 1999. The 37 revised full papers presented together with four invited contributions were carefully selected from 68 submissions. The papers are organized in sections on computing over reals, compression techniques, foundations of programming, complexity and algorithms, model checking, distributed computing, functional programming, automata, security, logic, counting problems, processes and bisimulation, graph algorithms, and type theory. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Computing Over Reals -- On-Line Addition in Real Base -- Query Languages for Real Number Databases Based on Descriptive Complexity over R -- The Arithmetical Hierarchy of Real Numbers -- Compression Techniques -- The Burrows-Wheeler Transform: Theory and Practice -- Efficiency of Fast Parallel Pattern Searching in Highly Compressed Texts -- Foundations of Programming -- Computing and Comparing Semantics of Programs in Four-Valued Logics -- Foundations of Modular SOS -- Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces -- Complexity and Algorithms -- On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System -- The Complexity of the Extended GCD Problem -- Complexity Results for Confluence Problems -- Model Checking -- Is Your Model Checker on Time? -- Clausal Resolution for CTL -- Model Checking and Higher-Order Recursion -- Distributed Computing -- Multiparty Communication Complexity: Very Hard Functions -- New Perspectives in Distributed Computing -- Functional Programming -- An Improved Disjunctive Strictness Analysis for Lazy Functional Languages -- Unique Fixed Point Induction for McCarthy's Amb -- Automata -- On Some Topological Properties of Linear Cellular Automata -- Real-Time Language Recognition by One-Way and Two-Way Cellular Automata -- Average State Complexity of Operations on Unary Automata -- Fooling Rebound Automata -- Algorithms and Complexity -- The Complexity of Minimizing FBDDs -- Efficient Strongly Universal and Optimally Universal Hashing -- Lower and Upper Bounds for the Problem of Page Replication in Ring Networks -- Security -- Language-Based Security -- Logic -- An Algebraic Approach to Knowledge Representation -- On the Structure of the Monadic Logic of the Binary Tree -- A New Space Bound for the Modal Logics K4, KD4 and S4 -- Counting Problems -- On Approximating the Number of Bases of Exchange Preserving Matroids -- Processes and Bisimulation -- The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes -- On Plain and Hereditary History-Preserving Bisimulation -- Approximating Weak Bisimulation on Basic Process Algebras -- Graph Algorithms -- Edge Coloring of Bipartite Graphs with Constraints -- An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover -- On Minimum Edge Ranking Spanning Trees -- Complexity -- Football Elimination Is Hard to Decide Under the 3-Point-Rule -- Generalized Regular Counting Classes -- A Foundation of Programming a Multi-tape Quantum Turing Machine -- Types: Theory and Applications -- A Type Discipline for Solving Year 2000 Problems in COBOL Programs -- Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| General subdivision |
Mathematics |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15039 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique |
| General subdivision |
Mathématiques |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
20905 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| General subdivision |
Mathematics |
| Source of heading or term |
fast |
| 9 (RLIN) |
2386 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Fundamentele informatica. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
14651 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Teoria da computacao. |
| Source of heading or term |
larpcal |
| 9 (RLIN) |
17087 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Matematica. |
| Source of heading or term |
larpcal |
| 9 (RLIN) |
21239 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kutyłowski, Mirosław. |
| 9 (RLIN) |
21240 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Pacholski, Leszek. |
| 9 (RLIN) |
21241 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wierzbicki, Tomasz. |
| 9 (RLIN) |
21242 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Mathematical foundations of computer science 1999 (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGwmTcRydh7hDTGGDBGgVd |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Title |
Mathematical foundations of computer science 1999 |
| Record control number |
(OCoLC)42289798 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
1672. |
| International Standard Serial Number |
0302-9743 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-48340-3">https://link.springer.com/10.1007/3-540-48340-3</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH20756236 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10189094 |
| 938 ## - |
|---|
| -- |
ProQuest MyiLibrary Digital eBook Collection |
| -- |
IDEB |
| -- |
95777 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
2771788 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |