{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"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":51,"n_cols":5,"rows_kept":51,"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],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[16,2,16,3],[17,2,17,3],[21,2,21,3],[23,2,23,3],[23,4,23,5],[24,2,24,3],[24,4,24,5],[25,2,25,3],[25,4,25,5],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[35,2,35,3],[35,4,35,5],[36,2,36,3],[36,4,36,5],[37,2,37,3],[37,4,37,5],[38,2,38,3],[39,2,39,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3],[45,2,45,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465551103316"]
[null,null,"Titolo",null,"Algebra and Coalgebra in Computer Science [[electronic resource] ] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / / edited by José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005"]
[null,null,"Edizione",null,"[1st ed. 2005.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 460 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 3629"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer science—Mathematics"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Symbolic and Algebraic Manipulation"]
[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 and index."]
[null,null,"Nota di contenuto",null,"Invited Talks -- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories -- Labels from Reductions: Towards a General Theory -- Adequacy for Algebraic Effects with State -- Contributed Papers -- Bisimilarity Is Not Finitely Based over BPA with Interrupt -- Algebra ? Coalgebra = Presheaves -- Strong Splitting Bisimulation Equivalence -- Complete Axioms for Stateless Connectors -- On the Semantics of Coinductive Types in Martin-Löf Type Theory -- Look: Simple Stochastic Relations Are Just, Well, Simple -- Modelling Fusion Calculus using HD-Automata -- An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL -- Using Proofs by Coinduction to Find “Traditional” Proofs -- From T-Coalgebras to Filter Structures and Transition Systems -- Context-Free Languages via Coalgebraic Trace Semantics -- Towards a Coalgebraic Semantics of the Ambient Calculus -- The Least Fibred Lifting and the Expressivity of Coalgebraic Modal "]
[{"$nulls":4},"Logic -- Ultrafilter Extensions for Coalgebras -- Equational Logic of Recursive Program Schemes -- The Category Theoretic Solution of Recursive Program Schemes -- A Categorical Approach to Simulations -- Behavioral Extensions of Institutions -- Discrete Lawvere Theories -- Final Semantics for Event-Pattern Reactive Programs -- Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing -- Final Sequences and Final Coalgebras for Measurable Spaces -- Bireachability and Final Multialgebras -- Parametrized Exceptions -- Property Preserving Redesign of Specifications."]
[null,"2.","Record Nr.",null,"UNINA9910706953503321"]
[null,null,"Autore",null,"Noble Vergil E."]
[null,null,"Titolo",null,"Archeological testing of two historic properties at Lincoln Home National Historic Site : the Henson Robinson and Jesse K. Dubois House lots / / by Vergil E. Noble"]
[null,null,"Pubbl/distr/stampa",null,"Lincoln, Nebraska : , : United States Department of the Interior, National Park Service, Midwest Archeological Center, , 2014"]
[null,null,"Descrizione fisica",null,"1 online resource (104 unnumbered pages) : illustrations"]
[null,null,"Collana",null,"National Park Service, Midwest Archeological Center, technical report ; ; no. 135"]
[null,null,"Soggetti",null,"Excavations (Archaeology) - Illinois - Springfield"]
[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","Includes appendixes."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (pages 23-25)."]
[null,"3.","Record Nr.",null,"UNINA9910495800503321"]
[null,null,"Autore",null,"Thouard Denis"]
[null,null,"Titolo",null,"Herméneutique critique : Bollack, Szondi, Celan / Denis Thouard"]
[null,null,"Pubbl/distr/stampa",null,"Villeneuve d'Ascq, : Presses universitaires du Septentrion, 2019"]
[null,null,"ISBN",null,"2-7574-2742-3"]
[{"$nulls":4},"2-7574-0575-6"]
[null,null,"Descrizione fisica",null,"179 p. ; ; 20 cm"]
[null,null,"Collana",null,"Opuscules Phi ; 28"]
[null,null,"Soggetti",null,"Hermeneutics - Philosophy"]
[null,null,"Lingua di pubblicazione",null,"Francese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","\"1377\"--Spine."]
[{"$nulls":4},"\"Cet ouvrage est publié après l'expertise éditoriale du comité Savoirs et systèmes de pensée\"--P. facing t.p."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (p. 175-179)."]
[null,null,null,"Sommario/riassunto","Réflexion sur la méthode de l'interprétation des œuvres, l’herméneutique critique s’attache à restituer dans son contexte historique la visée des auteurs. Pour elle, les œuvres ne sont pas des représentants d’une entité préexistante, que ce soit une tradition, un esprit national, une ontologie ou une révélation, mais des actes d’innovation. En instaurant une distance par rapport à un contexte, une œuvre se constitue dans sa puissance de dire. Elle est porteuse d’une subjectivité, d’un jugement marquant cette distance. L’herméneutique critique prend en compte cette distance introduite par l’œuvre, qui est aussi une puissance de rupture. L’herméneutique critique a été exemplairement développée par le comparatiste Peter Szondi et le philologue Jean Bollack. En introduisant leur rapport au poète Paul Celan, qui leur était proche, l’ouvrage reconstitue un contexte intellectuel original et peu connu en France entre l’héritage de la Théorie critique sensible chez Szondi, la poésie de Celan et le renouvellement de la philologie conduit par Bollack. La réflexion théorique est ainsi replacée dans un contexte international caractérisé, dans les années 60 et après, par le besoin de réintroduire la dimension de l’histoire dans les formes abstraites de l’expression et de l’analyse."]