{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":36,"n_cols":5,"rows_kept":36,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[15,2,15,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[27,2,27,3],[28,2,28,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910143649003321"]
[null,null,"Titolo",null,"Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / / edited by JoÌrg Flum; M. RodriÌ\u0081guez Artalejo"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Germany ; ; New York, New York : , : Springer, , [1999]"]
[{"$nulls":4},"Â©1999"]
[null,null,"ISBN",null,"3-540-48168-0"]
[null,null,"Edizione",null,"[1st ed. 1999.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 588 p.)"]
[null,null,"Collana",null,"Lecture notes in computer science ; ; Volume 1683"]
[null,null,"Disciplina",null,"004.015113"]
[null,null,"Soggetti",null,"Computer logic"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"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 -- "]
[{"$nulls":4},"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 of Lambda 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."]
[null,null,null,"Sommario/riassunto","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)."]
[null,"2.","Record Nr.",null,"UNISA996396222703316"]
[null,null,"Autore",null,"Taylor Jeremy <1613-1667.>"]
[null,null,"Titolo",null,"Ductor dubitantium, or, The rule of conscience in all her general measures [[electronic resource] ] : serving as a great instrument for the determination of cases of conscience, in four books / / by Jeremy Taylor ."]
[null,null,"Pubbl/distr/stampa",null,"London, : Printed by Roger Norton, for Richard Royston ..., 1671"]
[null,null,"Edizione",null,"[The second edition.]"]
[null,null,"Descrizione fisica",null,"[6], xxx, [2], 819, [24] p"]
[null,null,"Soggetti",null,"Conscience"]
[{"$nulls":4},"Christian ethics"]
[{"$nulls":4},"Casuistry"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Reproduction of original in Huntington Library."]
[{"$nulls":4},"\"Of conscience, the kindes of it ... The first book\" and \"Of the rules of conscience ... The second book\" have caption titles."]
[{"$nulls":4},"\"Of humane laws ... The third book\" and \"Of nature and causes of good and evil ... The fourth book\" have special title pages."]
[{"$nulls":4},"Index: p. [2]-[24] at end."]
[{"$nulls":4},"Errata p. [24] at end."]
[null,null,null,"Sommario/riassunto","eebo-0113"]