{"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":54,"n_cols":5,"rows_kept":54,"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],[9,2,9,3],[9,4,9,5],[10,2,10,3],[10,4,10,5],[11,2,11,3],[12,2,12,3],[13,2,13,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[28,2,28,3],[29,2,29,3],[33,2,33,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],[40,2,40,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[47,2,47,3],[48,2,48,3],[52,2,52,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990003193230403321"]
[null,null,"Titolo",null,"Il sistema informativo territoriale polifunzionale : supporto tecnico e programmatico per gli enti pubblici e privati : atti / Regione Campania. Assessorato alla ricerca scientifica ed informatica"]
[null,null,"Pubbl/distr/stampa",null,"Napoli : [s.n.], 1991"]
[null,null,"Descrizione fisica",null,"159 p. ; 30 cm"]
[null,null,"Locazione",null,"SES"]
[null,null,"Collocazione",null,"F/3.113 REG"]
[null,null,"Lingua di pubblicazione",null,"Italiano"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNISA996465287103316"]
[null,null,"Titolo",null,"Theorem Proving in Higher Order Logics [[electronic resource] ] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / / edited by Klaus Schneider, Jens Brandt"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007"]
[null,null,"ISBN",null,"3-540-74591-2"]
[null,null,"Edizione",null,"[1st ed. 2007.]"]
[null,null,"Descrizione fisica",null,"1 online resource (VIII, 404 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4732"]
[null,null,"Disciplina",null,"005.115"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Machine theory"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Logic design"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Formal Languages and Automata Theory"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Logic Design"]
[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,"On the Utility of Formal Methods in the Development and Certification of Software -- Formal Techniques in Software Engineering: Correct Software and Safe Systems -- Separation Logic for Small-Step cminor -- Formalising Java’s Data Race Free Guarantee -- Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL -- Formalising Generalised Substitutions -- Extracting Purely Functional Contents from Logical Inductive Types -- A Modular Formalisation of Finite Group Theory -- Verifying Nonlinear Real Formulas Via Sums of Squares -- Verification of Expectation Properties for Discrete Random Variables in HOL -- A Formally Verified Prover for the Description Logic -- Proof Pearl: The Termination Analysis of Terminator -- Improving the Usability of HOL Through Controlled Automation Tactics -- Verified "]
[{"$nulls":4},"Decision Procedures on Context-Free Grammars -- Using XCAP to Certify Realistic Systems Code: Machine Context Management -- Proof Pearl: De Bruijn Terms Really Do Work -- Proof Pearl: Looping Around the Orbit -- Source-Level Proof Reconstruction for Interactive Theorem Proving -- Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF -- Automatically Translating Type and Function Definitions from HOL to ACL2 -- Operational Reasoning for Concurrent Caml Programs and Weak Memory Models -- Proof Pearl: Wellfounded Induction on the Ordinals Up to ? 0 -- A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols -- Primality Proving with Elliptic Curves -- HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism -- Building Formal Method Tools in the Isabelle/Isar Framework -- Simple Types in Type Theory: Deep and Shallow Encodings -- Mizar’s Soft Type System."]
[null,"3.","Record Nr.",null,"UNINA9910779773003321"]
[null,null,"Autore",null,"Tatham Allan F"]
[null,null,"Titolo",null,"Central European constitutional courts in the face of EU membership [[electronic resource] ] : the influence of the German model in Hungary and Poland / / by Allan F. Tatham"]
[null,null,"Pubbl/distr/stampa",null,"Leiden ; ; Boston, : Nijhoff, 2013"]
[null,null,"ISBN",null,"90-04-23455-1"]
[null,null,"Descrizione fisica",null,"1 online resource (433 p.)"]
[null,null,"Collana",null,"Constitutional law library ; ; v. 6"]
[null,null,"Disciplina",null,"347.43/035"]
[null,null,"Soggetti",null,"Constitutional courts - Hungary"]
[{"$nulls":4},"Constitutional courts - Poland"]
[{"$nulls":4},"Law - Hungary - German influences"]
[{"$nulls":4},"Law - Poland - German influences"]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Preliminary Material -- Introduction -- The General EU Constitutional Context -- The Predominance of the German Model in Central Europe: Migrations of Legal and Constitutional Ideas -- The German Federal Constitutional Court and European Law: A Case of “Thus Far, and No Further”? -- The Hungarian Constitutional Court and European Law: A Case of “Slow and Steady Wins the Race”? -- The Polish Constitutional Tribunal and European Law: A Case of “Sovereignty Regained”? -- Conclusion -- Bibliography -- Index."]
[null,null,null,"Sommario/riassunto","Central European Constitutional Courts in the Face of EU Membership explores the enduring German legal influence on other systems of constitutional justice, concentrating on the impact of the Federal Constitutional Court’s approach to EU integration on its counterparts in Hungary and Poland. Such a model aims to protect Germany’s constitutional identity or essential core of sovereignty, the contents of which are not susceptible to transfer or limitation, in the face of the requirements of the Union’s constitutional legal order. The influence of this model on the two Central European courts has encouraged them to take an active part in negotiating the new multilayered judicial construct of Europe. Tatham thus firmly places the Hungarian and Polish constitutional courts within the overall context of the continuing dialogue between national courts and the Court of Justice in the evolution of the European constitutional space."]