{"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":38,"n_cols":5,"rows_kept":38,"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],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[31,2,31,3],[32,2,32,3],[36,2,36,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996391493903316"]
[null,null,"Autore",null,"Willet Andrew <1562-1621.>"]
[null,null,"Titolo",null,"Synopsis papismi, that is, A generall vievv of papistrie [[electronic resource] ] : vvherein the vvhole mysterie of iniquitie, and summe of antichristian doctrine is set downe, which is maintained this day by the Synagogue of Rome, against the Church of Christ: together vvith an antithesis of the true Christian faith, and an antidotum or counterpoyson out of Scripture, against the whore of Babylons filthy cup of abominations ... Diuided into fiue bookes or centuries, that is, so many hundreds of popish heresies and errours"]
[null,null,"Pubbl/distr/stampa",null,"At London, : Imprinted by Felix Kyngston, for Thomas Man, and are to be sold by Henry Fetherston, dwelling at the signe of the Rose in Pauls Church-yard, 1613"]
[null,null,"Edizione",null,"[Now this fourth time perused and published by the former author, and augmented with diuers necessarie additions, to be seene in the end of the preface.]"]
[null,null,"Descrizione fisica",null,"[24], 1068, [4], 1069-1352 [36] p"]
[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","A6-B1 contain a dedication to Queen Elizabeth signed: Andrevv Willet."]
[{"$nulls":4},"The first leaf is blank."]
[{"$nulls":4},"Books 2-5 each have separate dated title page, as does \"Tetrastylon papismi: that is, The foure principall pillars of papistrie\"; register and pagination are continuous."]
[{"$nulls":4},"With tables and a final errata leaf."]
[{"$nulls":4},"Reproduction of the original in the British Library."]
[null,null,null,"Sommario/riassunto","eebo-0018"]
[null,"2.","Record Nr.",null,"UNINA9910484914003321"]
[null,null,"Titolo",null,"Algebra and Coalgebra in Computer Science : 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.01/512"]
[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."]