MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06247cam a2200721 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn804452982 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703161740.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 bn||||||abp |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr bn||||||ada |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
120805s1992 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
OCLCE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
OCLCE |
| Modifying agency |
OCLCO |
| -- |
OCLCQ |
| -- |
NLGGC |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
GW5XE |
| -- |
OCLCQ |
| -- |
ITD |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
CEF |
| -- |
YOU |
| -- |
ESU |
| -- |
OCLCA |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 019 ## - |
|---|
| -- |
150398472 |
| -- |
321283856 |
| -- |
1044252242 |
| -- |
1056410186 |
| -- |
1060972770 |
| -- |
1064956966 |
| -- |
1073063581 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540475071 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540475079 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540562877 |
| Qualifying information |
(Berlin) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540562870 |
| Qualifying information |
(Berlin) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
0387562877 |
| Qualifying information |
(New York) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9780387562872 |
| Qualifying information |
(New York) |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000057645378 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
296873195 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15565450 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)804452982 |
| Canceled/invalid control number |
(OCoLC)150398472 |
| -- |
(OCoLC)321283856 |
| -- |
(OCoLC)1044252242 |
| -- |
(OCoLC)1056410186 |
| -- |
(OCoLC)1060972770 |
| -- |
(OCoLC)1064956966 |
| -- |
(OCoLC)1073063581 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dlr |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.751 |
| Item number |
.F68 1992 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005 |
| Edition number |
20 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.10 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.50 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Foundations of software technology and theoretical computer science : |
| Remainder of title |
12th conference, New Delhi, India, December 18-20, 1992 : proceedings / |
| Statement of responsibility, etc. |
R. Shyamasundar (ed.). |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Berlin ; |
| -- |
New York : |
| Name of producer, publisher, distributor, manufacturer |
Springer-Verlag, |
| Date of production, publication, distribution, manufacture, or copyright notice |
©1992. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xiii, 403 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 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
652 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and author index. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Materials specified |
Use copy |
| Standardized terminology for access restriction |
Restrictions unspecified |
| Source of term |
star |
| Institution to which field applies |
MiAaHDL |
| 533 ## - REPRODUCTION NOTE |
|---|
| Type of reproduction |
Electronic reproduction. |
| Place of reproduction |
[Place of publication not identified] : |
| Agency responsible for reproduction |
HathiTrust Digital Library, |
| Date of reproduction |
2012. |
| Institution to which field applies |
MiAaHDL |
| 538 ## - SYSTEM DETAILS NOTE |
|---|
| System details note |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Uniform Resource Identifier |
<a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a> |
| Institution to which field applies |
MiAaHDL |
| 583 1# - ACTION NOTE |
|---|
| Action |
digitized |
| Time/date of action |
2012 |
| Jurisdiction |
HathiTrust Digital Library |
| Status |
committed to preserve |
| Source of term |
pda |
| Institution to which field applies |
MiAaHDL |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual academic computerscience forum for the presentation of new results in the topics of current research in India and abroad. This year, there was a total of 125 papers from 14 countries. Each paper was reviewed by at least three reviewers; based on these reviews, the programme committee selected 28 papers at a meeting held in July 1992 at the Tata Institute of Fundamental Research, Bombay. The selected papers are included in this volume, together with three invited papers: "Games and full completeness for multiplicative linear logic" by S. Abramsky, "Recent developments inalgorithms for the maximum-flow problem" by K. Melhorn, and "System specification and refinement in temporal logic" by A. Pnueli |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
System specification and refinement in temporal logic -- Fixed points of Büchi automata -- An automata-theoretic decision procedure for Future Interval Logic -- Improving the results of static analyses of programs by local decreasing iterations -- Implicit point location in arrangements of line segments, with an application to motion planning -- An optimal algorithm for the intersection radius of a set of convex polygons -- C-sensitive triangulations approximate the minmax length triangulation -- Superpolynomial circuits, almost sparse oracles and the exponential hierarchy -- Structural average case complexity -- On bounded truth-table, conjunctive, and randomized reductions to sparse sets -- One-way functions and isomorphism conjecture -- Solving the Lagrangian dual when the number of constraints is fixed -- Superfiniteness of query answers in deductive databases: An automata-theoretic approach -- Proving polynomials positive -- An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs -- Polymorphic typing by abstract interpretation -- The Gallina specification language: A case study -- Verification of large software systems -- Detection of unstable predicates in distributed programs -- Fast sequential and randomised parallel algorithms for rigidity and approximate min k-cut -- Approximation through local optimality: Designing networks with small degree -- Games and full Completeness for multiplicative Linear Logic -- Real-time calculi and expansion theorems -- Branching bisimulation for context-free processes -- CCS, locations and asynchronous transition systems -- Reasoning about safety and liveness properties for probabilistic processes -- String matching under a general matching relation -- On the complexity of Certified Write All Algorithms -- Selection from read-only memory and sorting with optimum data movement -- Some observations on 2-way probabilistic finite automata -- Recent developments in algorithms for the maximum-flow problem. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15269 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14749 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
19223 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
14750 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| Source of heading or term |
fast |
| 9 (RLIN) |
941 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| Source of heading or term |
fast |
| 9 (RLIN) |
15271 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatik |
| Source of heading or term |
gnd |
| 9 (RLIN) |
3032 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatica. |
| Source of heading or term |
gtt |
| 9 (RLIN) |
17125 |
| 650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Programmatuurtechniek. |
| Source of heading or term |
gtt |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique |
| General subdivision |
Congrès. |
| Source of heading or term |
ram |
| 9 (RLIN) |
14753 |
| 651 #7 - SUBJECT ADDED ENTRY--GEOGRAPHIC NAME |
|---|
| Geographic name |
Delhi <1992> |
| Source of heading or term |
swd |
| 9 (RLIN) |
46044 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Shyamasundar, Rudrapatna, |
| Dates associated with a name |
1950- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjH4pB7r37hbhhDtVwpCcd |
| 9 (RLIN) |
34565 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Title |
Foundations of software technology and theoretical computer science. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer-Verlag, ©1992 |
| Record control number |
(OCoLC)27135209 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
652. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/3-540-56287-7">https://link.springer.com/10.1007/3-540-56287-7</a> |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |