{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":4,"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":80,"n_cols":5,"rows_kept":80,"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],[2,4,2,5],[3,2,3,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],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[22,2,22,3],[23,2,23,3],[26,2,26,3],[26,4,26,5],[27,2,27,3],[27,4,27,5],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[33,2,33,3],[34,2,34,3],[46,2,46,3],[47,2,47,3],[49,2,49,3],[52,2,52,3],[52,4,52,5],[53,2,53,3],[53,4,53,5],[54,2,54,3],[55,2,55,3],[58,2,58,3],[59,2,59,3],[60,2,60,3],[61,2,61,3],[62,2,62,3],[72,2,72,3],[73,2,73,3],[77,2,77,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA990000722420203316"]
[null,null,"Autore",null,"JOHNSON, Trevor"]
[null,null,"Titolo",null,"A critical introduction to the poems of Thomas Hardy / Trevor Johnson"]
[null,null,"Pubbl/distr/stampa",null,"Houndmills : Macmillan, 1991"]
[null,null,"ISBN",null,"0-333-49578-0"]
[null,null,"Descrizione fisica",null,"IX, 259 p ; 22 cm"]
[null,null,"Disciplina",null,"821.8"]
[null,null,"Soggetti",null,"Hardy, Thomas - Opere poetiche - Studi"]
[null,null,"Collocazione",null,"VII.3.B. 1232(II i B 1653)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNINA9910449238103321"]
[null,null,"Titolo",null,"Zeitschrift für Konflikt-Management"]
[null,null,"Pubbl/distr/stampa",null,"[Cologne, Germany] : , : Verlag Dr. Otto Schmidt, : De Gruyter"]
[null,null,"ISSN",null,"2194-4210"]
[null,null,"Descrizione fisica",null,"1 online resource"]
[null,null,"Soggetti",null,"Conflict management"]
[{"$nulls":4},"Mediation"]
[{"$nulls":4},"Dispute resolution (Law)"]
[{"$nulls":4},"Conflictmanagement"]
[{"$nulls":4},"Periodicals."]
[null,null,"Lingua di pubblicazione",null,"Tedesco"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Periodico"]
[null,null,null,"Note generali","\"Konfliktmanagement, Mediation, Verhandeln.\""]
[null,"3.","Record Nr.",null,"UNISA996466437303316"]
[null,null,"Titolo",null,"Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / / edited by Fred Mesnard, Peter J. Stuckey"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"3-030-13838-0"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XX, 203 p. 565 illus., 4 illus. in color.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 11408"]
[null,null,"Disciplina",null,"005.115"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Compilers (Computer programs)"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Compilers and Interpreters"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Analysis of term rewriting -- Logic-based distributed/concurrent programming -- Analysis of logic programming -- Program analysis."]
[null,null,null,"Sommario/riassunto","This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018. The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based "]
[{"$nulls":4},"distributed/concurrent programming; analysis of logic programming; and program analysis. ."]
[null,"4.","Record Nr.",null,"UNINA9910144160903321"]
[null,null,"Titolo",null,"Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / / edited by Maurice Bruynooghe"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004"]
[null,null,"ISBN",null,"1-280-30782-X"]
[{"$nulls":4},"9786610307821"]
[{"$nulls":4},"3-540-25938-4"]
[null,null,"Edizione",null,"[1st ed. 2004.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 238 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 3018"]
[null,null,"Disciplina",null,"005.115"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Logic, Symbolic and mathematical"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Software Engineering/Programming and Operating Systems"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Artificial Intelligence"]
[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 Talk -- Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce -- Specification and Synthesis -- Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures -- Correct OO Systems in Computational Logic -- Specification and Synthesis of Hybrid Automata for Physics-Based Animation -- Adding Concrete Syntax to a Prolog-Based Program Synthesis System -- Verification -- Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables -- Formal Reasoning about Efficient Data Structures: A Case Study in ACL2 -- Analysis -- A Program Transformation for Backwards Analysis of Logic Programs -- An Efficient Staging Algorithm for Binding-Time "]
[{"$nulls":4},"Analysis -- Proving Termination with Adornments -- Transformation and Specialisation -- Constructively Characterizing Fold and Unfold -- Deterministic Higher-Order Patterns for Program Transformation -- From Interpreter to Logic Engine by Defunctionalization -- Linearization by Program Transformation -- Continuation Semantics as Horn Clauses -- Constraints -- Simplification of Database Integrity Constraints Revisited: A Transformational Approach -- Integration and Optimization of Rule-Based Constraint Solvers -- Introducing esra, a Relational Language for Modelling Combinatorial Problems."]
[null,null,null,"Sommario/riassunto","This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software architectures, design patterns and frameworks, program re?nement and logics for re?nement, proofs as programs, and applications and tools. LOPSTR 2003 took place at the University of Uppsala from August 25 to August 27 as part of PLI 2003 (Principles, Logics, and Implementations of High- Level Programming Languages). PLI was an ACM-organized confederation of conferences and workshops with ICFP 2003 (ACM-SIGPLAN International C- ference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN Inter- tional Conference on Principles and Practice of Declarative Programming) as the main events. The LOPSTR community pro?ted from the shared lectures of the invited speakers, and the active scienti?c discussions enabled by the co-location. LOPSTR 2003 was the thirteenth in a series of events. Past events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), L- ven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), and Madrid, Spain (2002)."]