Computer Science Logic (Record no. 189382)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05955nam a22006135i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-45793-0 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423132601.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 121227s2002 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540457930 |
| -- | 978-3-540-45793-0 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/3-540-45793-3 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA75.5-76.95 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYA |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM014000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYA |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.0151 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | Computer Science Logic |
| Medium | [electronic resource] : |
| Remainder of title | 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September / |
| Statement of responsibility, etc | edited by Julian Bradfield. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2002. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2002. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XII, 628 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume number/sequential designation | 2471 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Invited Lectures -- Limit-Computable Mathematics and Its Applications -- Automata, Logic, and XML -- ?-Calculus via Games (Extended Abstract) -- Rewriting and Constructive Mathematics -- Bijections between Partitions by Two-Directional Rewriting Techniques -- On Continuous Normalization -- Variants of Realizability for Propositional Formulas and the Logic of the Weak Law of Excluded Middle -- Compactness and Continuity, Constructively Revisited -- Fixpoints and Recursion -- Hoare Logics for Recursive Procedures and Unbounded Nondeterminism -- A Fixpoint Theory for Non-monotonic Parallelism -- Greibach Normal Form in Algebraically Complete Semirings -- Linear and Resource Logics -- Proofnets and Context Semantics for the Additives -- A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming -- Resource Tableaux -- Semantics -- Configuration Theories -- A Logic for Probabilities in Semantics -- Possible World Semantics for General Storage in Call-By-Value -- A Fully Abstract Relational Model of Syntactic Control of Interference -- Temporal Logics and Games -- Optimal Complexity Bounds for Positive LTL Games -- The Stuttering Principle Revisited: On the Expressiveness of Nested X and ? Operators in the Logic LTL -- Trading Probability for Fairness -- Probability, Games and Fixpoints -- A Logic of Probability with Decidable Model-Checking -- Solving Pushdown Games with a ?3 Winning Condition -- Partial Fixed-Point Logic on Infinite Structures -- On the Variable Hierarchy of the Modal ?-Calculus -- Complexity and Proof Complexity -- Implicit Computational Complexity for Higher Type Functionals -- On Generalizations of Semi-terms of Particularly Simple Form -- Local Problems, Planar Local Problems and Linear Time -- Equivalence and Isomorphism for Boolean ConstraintSatisfaction -- Ludics and Linear Logic -- Travelling on Designs -- Designs, Disputes and Strategies -- Classical Linear Logic of Implications -- Lambda-Calculi -- Higher-Order Positive Set Constraints -- A Proof Theoretical Account of Continuation Passing Style -- Duality between Call-by-Name Recursion and Call-by-Value Iteration -- Decidability of Bounded Higher-Order Unification -- Open Proofs and Open Terms: A Basis for Interactive Logic -- Logical Relations for Monadic Types -- Resolution and Proofs -- On the Automatizability of Resolution and Related Propositional Proof Systems -- Extraction of Proofs from the Clausal Normal Form Transformation -- Resolution Refutations and Propositional Proofs with Height-Restrictions. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ´ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials – ‘Introduction to Mu- Calculi’ (Julian Brad?eld) and ‘Parametrized Complexity’ (Martin Grohe) – were given on the previous day. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Compilers (Computer programs). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Machine theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial intelligence. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematical logic. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Theory of Computation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Compilers and Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal Languages and Automata Theory. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial Intelligence. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematical Logic and Foundations. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Bradfield, Julian. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540442400 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783662202746 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| -- | 1611-3349 ; |
| Volume number/sequential designation | 2471 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/3-540-45793-3">https://doi.org/10.1007/3-540-45793-3</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 912 ## - | |
| -- | ZDB-2-BAE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.