Computer Science Logic (Record no. 187835)

MARC details
000 -LEADER
fixed length control field 05534nam a22006015i 4500
001 - CONTROL NUMBER
control field 978-3-540-48168-3
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240423132438.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 121227s1999 gw | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540481683
-- 978-3-540-48168-3
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/3-540-48168-0
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 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings /
Statement of responsibility, etc edited by Jörg Flum, Mario Rodriguez-Artalejo.
250 ## - EDITION STATEMENT
Edition statement 1st ed. 1999.
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg :
-- Imprint: Springer,
-- 1999.
300 ## - PHYSICAL DESCRIPTION
Extent XII, 588 p.
Other physical details online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
International Standard Serial Number 1611-3349 ;
Volume number/sequential designation 1683
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Invited Papers -- Topological Queries in Spatial Databases -- The Consistency Dimension, Compactness, and Query Learning -- Descriptive and Parameterized Complexity -- Logical Specification of Operational Semantics -- Constraint-Based Analysis of Broadcast Protocols -- Contributed Papers -- Descriptive Complexity Theory for Constraint Databases -- Applicative Control and Computational Complexity -- Applying Rewriting Techniques to the Verification of Erlang Processes -- Difference Decision Diagrams -- Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States -- Verifying Liveness by Augmented Abstraction -- Signed Interval Logic -- Quantitative Temporal Logic -- An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces -- Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting -- Closed Reductions in the ?-Calculus -- Kripke Resource Models of a Dependently-Typed, Bunched ?-Calculus (Extended Abstract) -- A Linear Logical View of Linear Type Isomorphisms -- Choice Logic Programs and Nash Equilibria in Strategic Games -- Resolution Method for Modal Logic with Well-Founded Frames -- A NExpTime-Complete Description Logic Strictly Contained in C 2 -- A Road-Map on Complexity for Hybrid Logics -- MonadicNLIN and Quantifier-Free Reductions -- Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games -- Fixpoint Alternation and the Game Quantifier -- Lower Bounds for Space in Resolution -- Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws -- Open Least Element Principle and Bounded Query Computation -- A Universal Innocent Game Model for the Böhm Tree Lambda Theory -- Anti-Symmetry of Higher-Order Subtyping -- Safe Proof Checking in Type Theory with Y -- Monadic Presentations ofLambda Terms Using Generalized Inductive Types -- A P-Time Completeness Proof for Light Logics -- On Guarding Nested Fixpoints -- A Logical Viewpoint on Process-Algebraic Quotients -- A Truly Concurrent Semantics for a Simple Parallel Programming Language -- Specification Refinement with System F -- Pre-logical Relations -- Data-Refinement for Call-By-Value Programming Languages -- Tutorials -- Tutorial on Term Rewriting -- Tutorial on Interactive Theorem Proving Using Type Theory.
520 ## - SUMMARY, ETC.
Summary, etc The 1999 Annual Conference of the European Association for Computer Science Logic, CSL’99, was held in Madrid, Spain, on September 20-25, 1999. CSL’99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL’99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all cases, three di erent referees. The second refereeing round, previously required before a - per was accepted for publication in the proceedings, was dropped following a decision taken by the EACSL membership meeting held during CSL’98 (Brno, Czech Republic, August 25, 1998).
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 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 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 Flum, Jörg.
Relator term editor.
Relator code edt
-- http://id.loc.gov/vocabulary/relators/edt
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Rodriguez-Artalejo, Mario.
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 9783540665366
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9783662202876
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture Notes in Computer Science,
-- 1611-3349 ;
Volume number/sequential designation 1683
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/3-540-48168-0">https://doi.org/10.1007/3-540-48168-0</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.

© 2024 IIIT-Delhi, library@iiitd.ac.in