{"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":67,"n_cols":5,"rows_kept":67,"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],[12,2,12,3],[13,2,13,3],[14,2,14,3],[17,2,17,3],[18,2,18,3],[22,2,22,3],[25,2,25,3],[25,4,25,5],[26,2,26,3],[26,4,26,5],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[31,2,31,3],[32,2,32,3],[34,2,34,3],[35,2,35,3],[38,2,38,3],[41,2,41,3],[41,4,41,5],[42,2,42,3],[42,4,42,5],[43,2,43,3],[44,2,44,3],[45,2,45,3],[46,2,46,3],[47,2,47,3],[48,2,48,3],[49,2,49,3],[60,2,60,3],[61,2,61,3],[64,2,64,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910784306303321"]
[null,null,"Autore",null,"Dunsby Jonathan"]
[null,null,"Titolo",null,"Making words sing : nineteenth- and twentieth-century song / / Jonathan Dunsby [[electronic resource]]"]
[null,null,"Pubbl/distr/stampa",null,"Cambridge : , : Cambridge University Press, , 2004"]
[null,null,"ISBN",null,"1-107-15017-5"]
[{"$nulls":4},"1-280-51615-1"]
[{"$nulls":4},"0-511-21436-7"]
[{"$nulls":4},"0-511-21615-7"]
[{"$nulls":4},"0-511-21078-7"]
[{"$nulls":4},"0-511-31505-8"]
[{"$nulls":4},"0-511-48170-5"]
[{"$nulls":4},"0-511-21255-0"]
[null,null,"Descrizione fisica",null,"1 online resource (x, 153 pages) : digital, PDF file(s)"]
[null,null,"Disciplina",null,"782.42168"]
[null,null,"Soggetti",null,"Songs - Analysis, appreciation"]
[{"$nulls":4},"Songs - 19th century - History and criticism"]
[{"$nulls":4},"Songs - 20th century - History and criticism"]
[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","Title from publisher's bibliographic system (viewed on 05 Oct 2015)."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references (p. 143-149) and index."]
[null,null,"Nota di contenuto",null,"An introduction with no words, with intended words, and untheory -- A love song : Brahms's 'Von ewiger Liebe' -- Boundless opulence : postscripts on Schoenberg's premonition -- Interlude on peace, laws, flowers, and men flying -- To Amherst via Vienna -- By way of brief conclusion."]
[null,null,null,"Sommario/riassunto","What makes a classical song a song? In a wide-ranging 2004 discussion, covering such contrasting composers as Brahms and Berberian, Schubert and Kurtág, Jonathan Dunsby considers the nature of vocality in songs of the nineteenth and twentieth centuries. The essence and scope of poetic and literary meaning in the Lied tradition is subjected to close scrutiny against the backdrop of 'new musicological' thinking and music-theoretical orthodoxies. The reader is thus offered the best insights available within an evidence-based approach to musical discourse. Schoenberg figures conspicuously as both songsmith and theorist, and some easily comprehensible Schenkerian approaches are used to convey ideas of musical time and "]
[{"$nulls":4},"expressive focus. In this work of scholarship and theoretical depth, Professor Dunsby's highly original approach and engaging style will ensure its appeal to all practising musicians and students of Romantic and modern music."]
[null,"2.","Record Nr.",null,"UNINA9910960117203321"]
[null,null,"Titolo",null,"The long 1968 : revisions and new perspectives / / edited by Daniel J. Sherman, Ruud van Dijk, Jasmine Alinder, and A. Aneesh"]
[null,null,"Pubbl/distr/stampa",null,"Bloomington, : Indiana University Press, 2013"]
[null,null,"ISBN",null,"0-253-00918-9"]
[null,null,"Descrizione fisica",null,"1 online resource (393 pages)"]
[null,null,"Collana",null,"21st century studies ; ; volume 7"]
[null,null,"Disciplina",null,"909.82/6"]
[null,null,"Soggetti",null,"Nineteen sixty-eight, A.D"]
[{"$nulls":4},"History, Modern - 1945-1989"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Cover; CONTENTS; ACKNOWLEDGMENTS; INTRODUCTION; PART 1: 1968, THE TEXT; 1 Foucault's 1968; 2 Palimpsests of '68: Theorizing Labor after Adorno; 3 What's Left of the Right to the City?; PART 2: LOCATING POLITICS; 4 The Rise and Fall of an International Counterculture, 1960-1975; 5 Invisible Humanism: An African 1968 and Its Aftermaths; 6 Pushing Luck Too Far: '68, Northern Ireland, and Nonviolence; 7 Mexico 1968 and the Art(s) of Memory; PART 3: BODIES, PROTEST, AND ART; 8 White Power, Black Power, and the 1968 Olympic Protests; 9 Bodies Count: The Sixties Body in American Politics"]
[{"$nulls":4},"10 Beginning 9 Evenings 11 Sensorial Techniques of the Self: From the Jouissance of May '68 to the Economy of the Delay; PART 4: 1968, THE MOVIE; 12 Tempered Nostalgia in Recent French Films on the '68 Years; 13 Rhetorics of Resistance: The Port Huron Project; CONTRIBUTORS; INDEX;"]
[null,null,null,"Sommario/riassunto","From the mid-1960's to the early 1970's, revolutions in theory, politics, and cultural experimentation swept around the world. These changes had as great a transformative impact on the right as on the left. A touchstone for activists, artists, and theorists of all stripes, the year 1968 has taken on new significance for the present moment, which bears certain uncanny resemblances to that time. The Long 1968 explores the wide-ranging impact of the year and its aftermath in politics, theory, the arts, and international relations--and its uses today."]
[null,"3.","Record Nr.",null,"UNINA9910484594603321"]
[null,null,"Titolo",null,"Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / / edited by Gilles Dowek"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014"]
[null,null,"ISBN",null,"3-319-08918-8"]
[null,null,"Edizione",null,"[1st ed. 2014.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XXII, 491 p. 58 illus.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 8560"]
[null,null,"Disciplina",null,"005.131"]
[null,null,"Soggetti",null,"Machine theory"]
[{"$nulls":4},"Computer science - Mathematics"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Mathematical logic"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Mathematics of Computing"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Symbolic and Algebraic Manipulation"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Mathematical Logic and Foundations"]
[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,"Nota di contenuto",null,"Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting of Copatterns -- Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams -- Predicate Abstraction of Rewrite Theories -- Unification and Logarithmic Space -- Ramsey Theorem as an Intuitionistic Property of Well Founded Relations -- A Model of Countable Nondeterminism in Guarded Type Theory -- Cut Admissibility by Saturation -- Automatic Evaluation of Context-Free Grammars (System Description) -- Tree Automata with Height Constraints between Brothers -- A Coinductive Confluence Proof for Infinitary Lambda-Calculus -- An Implicit Characterization of the "]
[{"$nulls":4},"Polynomial-Time Decidable Sets by Cons-Free Rewriting -- Preciseness of Subtyping on Intersection and Union Types -- Abstract Datatypes for Real Numbers in Type Theory -- Self Types for Dependently Typed Lambda Encodings -- First-Order Formative Rules -- Automated Complexity Analysis Based on Context-Sensitive Rewriting -- Amortised Resource Analysis and Typed Polynomial Interpretations -- Confluence by Critical Pair Analysis -- Proof Terms for Infinitary Rewriting -- Construction of Retractile Proof Structures -- Local States in String Diagrams -- Reduction System for Extensional Lambda-mu Calculus -- The Structural Theory of Pure Type Systems -- Applicative May- and Should-Simulation in the Call-by-Value Lambda Calculus with AMB -- Implicational Relevance Logic is 2-ExpTime-Complete -- Near Semi-rings and Lambda Calculus -- All-Path Reachability Logic -- Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs -- Conditional Confluence (System Description) -- Nagoya Termination Tool -- Termination of Cycle Rewriting."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, and programming."]