02205nam0 2200481 i 450 RAV003070020251003044319.0883175085219880705d1988 ||||0itac50 baitaitz01i xxxe z01nz01ncRDAcarrierDa via Stalingrado a Piazza degli Affariˆla ‰storia dell'UnipolMarcella Gabbiano, Antonio Calabrointroduzione di Giuseppe TuraniVeneziaMarsilio1988148 p., \16! c. di tav.ill.22 cm.ˆI ‰giorni001CFI00363722001 ˆI ‰giorniUnipol <assicurazioni>StoriaFIRLO1C311828IUnipol <assicurazioni>StoriaFIRLO1C311828I3681236821368.00945ASSICURAZIONI. ITALIA20368.0654521368.945ASSICURAZIONI. Italia21IT/X435.7ASSICURAZIONI ITALIARIT/X436.9MOVIMENTO COOPERATIVO ITALIARSe.i.5.0Storia dell'economia italiana. Storie di banche, di compagnie di assicurazioni e altri istituti finanziariFGabbiano, MarcellaRAVV017917070791162Calabrò, Antonio <1950- >RAVV017918070332729Turani, Giuseppe <1941-2021>CFIV008774ITIT-00000019880705IT-BN0095 IT-NA0299 IT-NA0079 IT-NA0230 NAP BNMAGAZZINO magazzini correnti divisi per anniNAP IRFGDC $NAP AGF.AVOLIO $NAP 01POZZO LIB.Vi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. RAV0030700Biblioteca Centralizzata di Ateneo1 v. 01POZZO LIB.ECON MON 3138 0101 0000151915E VMA 1 v.B 2021031620210316 01 AG BN IRDa via Stalingrado a Piazza degli Affari1768223UNISANNIO09701nam 22008175 450 991014387440332120251116234339.03-540-45607-410.1007/3-540-45607-4(CKB)1000000000212011(SSID)ssj0000324494(PQKBManifestationID)11254567(PQKBTitleCode)TC0000324494(PQKBWorkID)10313079(PQKB)10980849(DE-He213)978-3-540-45607-0(MiAaPQ)EBC3072460(PPN)155187066(BIP)7829435(EXLCZ)99100000000021201120121227d2002 u| 0engurnn|008mamaatxtccrLogic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers /edited by Alberto Pettorossi1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (VIII, 272 p.) Lecture Notes in Computer Science,0302-9743 ;2372Bibliographic Level Mode of Issuance: Monograph3-540-43915-3 Includes bibliographical references and index.Invited Speaker -- Static Analysis for Safe Destructive Updates in a Functional Language -- Program Transformation and Equivalence -- A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs -- On Deforesting Parameters of Accumulating Maps -- Equivalence in Answer Set Programming -- Program Verificaion -- Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols -- Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking -- Verification of Sets of Infinite State Processes Using Program Transformation -- Program Analysis -- When Size Does Matter -- Symbolic Profiling for Multi-paradigm Declarative Languages -- Program Development -- Correct Object-Oriented Systems in Computational Logic -- A Framework for Developing Embeddable Customized Logics -- Computing Environment-Aware Agent Behaviours with Logic Program Updates -- Program Synthesis -- Extracting General Recursive Program Schemes in Nuprl’s Type Theory -- Extracting Exact Time Bounds from Logical Proofs.ThisvolumecontainsthepapersfromLOPSTR2001,the11thInternational WorkshoponLogic-basedProgramSynthesisandTransformation. Topicsof- teresttoLOPSTRcoverallaspectsoflogic-basedprogramdevelopmentand,in particular, speci'cation, synthesis, veri'cation, transformation, specialization, analysis,optimization,composition,reuse,component-basedsoftwaredevel- ment,andsoftwarearchitectures. LOPSTR 2001 took place in the Coral Beach Hotel in Paphos (Cyprus) fromNovember28-30,2001. PastLOPSTRworkshopswereheldinManchester, UK(1991,1992,1998),Louvain-la-Neuve,Belgium(1993),Pisa,Italy(1994), Arnhem,TheNetherlands(1995),Stockholm,Sweden(1996),Leuven,Belgium (1997),Venice,Italy(1999),andLondon,UK(2000). LOPSTR2001wasco-locatedwiththe17thInternationalConferenceonLo- 1 gicProgramming(ICLP2001) andthe7thInternationalConferenceonPrinci- 2 plesandPracticeofConstraintProgramming(CP2001) . TheLOPSTRc- munitypro'tedalotfromthescienti'cdiscussions,thelecturesoftheinvited speakers,andthevarioussessionsofICLPandCP. I would like to express my gratitude to all the authors of the submitted papersandalltheattendeesfortheircommitmentandcooperation. Amongthe submittedpapers,theProgramCommitteeselected13papersforpresentation. Aftertheworkshop,theauthorswereaskedtosubmitimprovedversionsoftheir paperswhichwerethenreviewedbytheProgramCommittee. The'nalversions havebeencollectedinthisvolume,whichalsoincludesthepaperbyourinvited speaker,NatarajanShankar(StanfordResearchInstitute,MenloPark,USA), onthegenerationofe'cientprogramsfromlogic. MywarmestthanksalsogotoallthemembersoftheProgramCommittee andtheadditionalreviewersfortheirdiligentworkandinvaluablehelp. Iwould liketothankFabioFioravanti(IASI-CNRofRome,Italy),MaurizioProietti (IASI-CNRofRome,Italy),andAntonisKakas(UniversityofCyprus,Cyprus), whoworkedwithmewithgreatenthusiasmanddedicationasmembersofthe OrganizingCommittee. Thepre-proceedingsofLOPSTR2001wereprintedbytheIASIInstituteof theNationalResearchCouncilofRome,Italy,andtheDepartmentofComputer ScienceoftheUniversityofCyprusinNicosia. IalsothankSpringerforaccepting topublishthese'nalproceedingsintheLNCSseries. TheLOPSTR2001home pageis:http://www. iasi. rm. cnr. it/~adp/lopstr01cfp. html. April2002 AlbertoPettorossi 1 Codognet,Ph. ,editor,LogicProgramming--ICLP2001,LectureNotesinComputer Science 2237,Springer-Verlag,2001. 2 Walsh,T. ,editor,PrinciplesandPracticeofConstraintProgramming--CP2001, LectureNotesinComputerScience 2239,Springer-Verlag,2001. ProgramChair AlbertoPettorossi Universit`adegliStudidiRoma''TorVergata'',Italy ProgramCommittee DavidBasin Albert-Ludwigs-Universit¨atFreiburg,Germany AntonioBrogi Universit`adiPisa,Italy MauriceBruynooghe KatholiekeUniversiteitLeuven,Belgium NicolettaCocco Universit`aCa''FoscaridiVenezia,Italy MireilleDucass´e IRISA/INSA,France SandroEtalle TwenteUniversity&CWI,TheNetherlands JohnGallagher UniversityofBristol,UK RobertGluc ¨ k WasedaUniversity,Japan MichaelHanus Christian-Albrechts-Universit¨atzuKiel,Germany ManuelHermenegildo UniversidadPolit´ecnicadeMadrid,Spain PatriciaHill UniversityofLeeds,UK Kung-KiuLau UniversityofManchester,UK MichaelLeuschel UniversityofSouthampton,UK TorbenMogensen UniversityofCopenhagen,Denmark AlbertoPettorossi Universit`adegliStudidiRoma''TorVergata'',Italy I. V. Ramakrishnan StateUniversityofNewYorkatStonyBrook,USA DonSannella UniversityofEdinburgh,UK ZoltanSomogyi UniversityofMelbourne,Australia AdditionalReferees Jos´eAlferes StefanGruner SabinaRossi AnnalisaBossi PaulJackson FaustoSpoto Lu´?sFernandoCastro FrancisKlay MathieuTuruani AlessandraDiPierro GiridharPemmasani WimVanhoof YifeiDong MaurizioProietti FabioFioravanti Germ´anPuebla SponsoringInstitutions TheAssociationforLogicProgramming TheCOLOGNet TheInternationalFederationforComputationalLogic TheIASIInstituteofCNR(Italy) Universit`adegliStudidiRoma''TorVergata''(Italy) TableofContents InvitedSpeaker Static Analysis for Safe Destructive Updates in a Functional Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 NatarajanShankar(SRIInternational,MenloPark,USA) ProgramTransformationandEquivalence A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 PetrosPotikas,PanosRondogiannis(UniversityofAthens,Greece), ManolisGergatsoulis(InstituteofInformatics&Telecommunications, AghiaParaskeviAttikis,Greece) On Deforesting Parameters of Accumulating Maps . . . . . . . . . . . . . . . . . . . . . 46 KazuhikoKakehi,RobertGluck, ¨ YoshihikoFutamura(Waseda University,Tokyo,Japan) Equivalence in Answer Set Programming. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 MauricioOsorio,JuanA. Navarro,Jos´eArrazola(Universidaddelas Am´ericas,Puebla,M´exico) ProgramVeri'caion Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 GiorgioDelzanno(UniversityofGenova,Italy),SandroEtalle(CWI andUniversityofTwente,TheNetherlands) Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Lecture Notes in Computer Science,0302-9743 ;2372Software engineeringComputer architectureComputer logicComputer programmingArtificial intelligenceLogic, Symbolic and mathematicalSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software engineering.Computer architecture.Computer logic.Computer programming.Artificial intelligence.Logic, Symbolic and mathematical.Software Engineering/Programming and Operating Systems.Computer System Implementation.Logics and Meanings of Programs.Programming Techniques.Artificial Intelligence.Mathematical Logic and Formal Languages.005.1/5Pettorossi Albertoedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on Logic-Based Program Synthesis and TransformationMiAaPQMiAaPQMiAaPQBOOK9910143874403321Logic-Based Program Synthesis and Transformation2914320UNINA03422oam 2200757 c 450 991063406340332120260102090118.03-8474-1592-19783847415923(CKB)4100000011646136(MiAaPQ)EBC6424002(Verlag Barbara Budrich)9783847415923(oapen)https://directory.doabooks.org/handle/20.500.12854/95412(EXLCZ)99410000001164613620260102h20202021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierMind Your Writing How to be a Professional Academic Writer /Christian Wymann1st ed.LeverkusenVerlag Barbara Budrich20202020, c20211 online resource (99 pages) illustrations3-8474-2459-9 Includes bibliographical references and index.Um erfolgreich schreiben und publizieren zu können, müssen wissenschaftlich Schreibende sich über ihre Kompetenzen und ihre Rolle as Schreibende im Klaren sein. Sie müssen Grundsatzfragen über ihr Schreiben beantworten können, damit sie bewusste und strategische Entscheidungen treffen können. Nur so werden sie zu Schreibprofis, die ihren Beruf erfolgreich ausüben. In order to write and publish successfully, academic writers must be aware of their skills and their role as writers. They need to be able to answer fundamental questions about their writing, enabling them to make conscious and strategic decisions. Only in that way they will become writing professionals who successfully carry out their profession.Wymann provides a framework for self-understanding; Zumbrunn provides the underlying science—with chapters addressing perceptions, stress and anxiety, self-efficacy, perfectionism, autonomy, social support, and wellness—and strategies for approaching the realities of the writing life in clear and realistic ways.Journal of Scholarly Publishing January 2022Deshalb: Von mir gibt es eine eindeutige Leseempfehlung auch für Technische Redakteure und Redakteurinnen, die keine akademischen Texte produzieren!doctima.de: https://www.doctima.de/2021/04/rezension-mind-your-writing-christian-wymann/?utm_source=signatur&utm_medium=email&utm_campaign=newsSchreibprozesswriting processStrategiestrategySchreibstilwriting stylefeedbackFeedbackmotivationMotivationSchreibblöckewriting blockstime managementZeitmanagementSchreibprozesswriting processStrategiestrategySchreibstilwriting stylefeedbackFeedbackmotivationMotivationSchreibblöckewriting blockstime managementZeitmanagement808.02Wymann ChristianDr.aut1271883MiAaPQMiAaPQMiAaPQBOOK9910634063403321Mind Your Writing2996158UNINA