{"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":52,"n_cols":5,"rows_kept":52,"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],[8,2,8,3],[20,2,20,3],[21,2,21,3],[25,2,25,3],[28,2,28,3],[28,4,28,5],[29,2,29,3],[29,4,29,5],[30,2,30,3],[31,2,31,3],[32,2,32,3],[34,2,34,3],[40,2,40,3],[41,2,41,3],[45,2,45,3],[45,4,45,5],[46,2,46,3],[46,4,46,5],[47,2,47,3],[48,2,48,3],[49,2,49,3],[50,2,50,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466225803316"]
[null,null,"Titolo",null,"Rewriting Techniques and Applications [[electronic resource] ] : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings / / edited by Vincent van Oostrom"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004"]
[null,null,"ISBN",null,"3-540-25979-1"]
[null,null,"Edizione",null,"[1st ed. 2004.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 315 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 3091"]
[null,null,"Disciplina",null,"005.13/1"]
[null,null,"Soggetti",null,"Mathematical logic"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer programming"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Computer science—Mathematics"]
[{"$nulls":4},"Mathematical Logic and Formal Languages"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$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 at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Termination Analysis of the Untyped ?-Calculus -- A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems -- Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms -- Monadic Second-Order Unification Is NP-Complete -- A Certified AC Matching Algorithm -- Matchbox: A Tool for Match-Bounded String Rewriting -- TORPA: Termination of Rewriting Proved Automatically -- Querying Unranked Trees with Stepwise Tree Automata -- A Verification Technique Using Term Rewriting Systems and Abstract Interpretation -- Rewriting for Fitch Style Natural Deductions -- Efficient ?-Evaluation with Interaction Nets -- Proving Properties of Term Rewrite Systems via "]
[{"$nulls":4},"Logic Programs -- On the Modularity of Confluence in Infinitary Term Rewriting -- mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting -- Automated Termination Proofs with AProVE -- An Approximation Based Approach to Infinitary Lambda Calculi -- Böhm-Like Trees for Term Rewriting Systems -- Dependency Pairs Revisited -- Inductive Theorems for Higher-Order Rewriting -- The Joinability and Unification Problems for Confluent Semi-constructor TRSs -- A Visual Environment for Developing Context-Sensitive Term Rewriting Systems."]
[null,null,null,"Sommario/riassunto","This volume contains the proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004), which was held June 2– 5, 2004, at the RWTH Aachen in Germany. RTA is the major forum for the presentation of research on all aspects of rewriting. Previous RTA conferences took place in Dijon (1985), Bordeaux (1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), and Valencia (2003). The program committee selected 19 papers for presentation, including ?ve system descriptions, from a total of 43 submissions. In addition, there were invited talks by Neil Jones, Aart Middeldorp, and Robin Milner. Many people helped to make RTA 2004 a success. I am grateful to the m- bers of the program committee and the external referees for reviewing the s- missionsandmaintainingthehighstandardsoftheRTAconferences. Itisagreat pleasure to thank the conference chair Jurgen ¨ Giesl and the other members of the local organizing committee. They were in charge of the local organization of all events partaking in the Federated Conference on Rewriting, Deduction, and Programming (RDP). Apart from RTA 2004, these events were: – 2nd International Workshop on Higher-Order Rewriting (Delia Kesner, Femke van Raamsdonk, and Joe Wells), – 5th International Workshop on Rule-Based Programming (Slim Abdennadher and Christophe Ringeissen), – 13thInternationalWorkshoponFunctionaland(Constraint)LogicProgr- ming (Herbert Kuchen), – IFIP Working Group 1."]
[null,"2.","Record Nr.",null,"UNINA9910716417303321"]
[null,null,"Titolo",null,"Samuel J. Leaphart. February 12, 1927. -- Committed to the Committee of the Whole House and ordered to be printed"]
[null,null,"Pubbl/distr/stampa",null,"[Washington, D.C.] : , : [U.S. Government Printing Office], , 1927"]
[null,null,"Descrizione fisica",null,"1 online resource (4 pages)"]
[null,null,"Collana",null,"House report / 69th Congress, 2nd session. House ; ; no. 2064"]
[{"$nulls":4},"[United States congressional serial set] ; ; [serial no. 8690]"]
[null,null,"Soggetti",null,"Claims"]
[{"$nulls":4},"Travel costs"]
[{"$nulls":4},"Writs"]
[{"$nulls":4},"Court marshals"]
[{"$nulls":4},"Marshals - United States"]
[{"$nulls":4},"Legislative materials."]
[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","Batch processed record: Metadata reviewed, not verified. Some fields updated by batch processes."]
[{"$nulls":4},"FDLP item number not assigned."]
[null,"3.","Record Nr.",null,"UNISALENTO991002568079707536"]
[null,null,"Titolo",null,"Dania polyglotta : Annual bibliography of books, articles and summaries in foreign languages printed in Denmark / Kongelige Bibliotek, Copenaghen, Institut Danois des Echanges Internationaux de Publications Scientifiques et Littéraires. - 1945-"]
[null,null,"Pubbl/distr/stampa",null,"Kobenhavn, 1945-"]
[null,null,"ISSN",null,"0070-2714"]
[null,null,"Lingua di pubblicazione",null,"Latino"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Periodico"]