03356nam 22004935 450 991088699910332120240907131720.03-031-71294-310.1007/978-3-031-71294-4(CKB)34868692600041(MiAaPQ)EBC31651898(Au-PeEL)EBL31651898(DE-He213)978-3-031-71294-4(OCoLC)1455343595(EXLCZ)993486869260004120240907d2024 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierLogic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings /edited by Juliana Bowles, Harald Søndergaard1st ed. 2024.Cham :Springer Nature Switzerland :Imprint: Springer,2024.1 online resource (248 pages)Lecture Notes in Computer Science,1611-3349 ;149193-031-71293-5 -- Synthesis and Transformation. -- Parallel Assembly Synthesis. -- Improving Logic Programs by Adding Functions. -- Decision Procedures. -- Deciding Knowledge Problems Modulo Classes of Permutative Theories. -- Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae. -- Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. -- A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems. -- Deployment. -- Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. -- Specification, Refactoring and Testing. -- An Axiomatic Category-Based Access Control Model for Smart Homes. -- Towards Specification-Guarded Refactoring. -- Impact and Performance of Randomized Test-Generation Using Prolog. -- Term and Graph Rewriting. -- Proving Uniqueness of Normal Forms wrt Reduction of Term Rewriting Systems. -- Rewriting Induction for Higher-Order Constrained Term Rewriting Systems. -- Introducing Quantification into a Hierarchical Graph Rewriting Language. -- Introducing Quantification into a Hierarchical Graph Rewriting Language.This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.Lecture Notes in Computer Science,1611-3349 ;14919Computer scienceComputer Science Logic and Foundations of ProgrammingComputer science.Computer Science Logic and Foundations of Programming.004.0151Bowles Juliana1261671Søndergaard Harald999236MiAaPQMiAaPQMiAaPQBOOK9910886999103321Logic-Based Program Synthesis and Transformation4236281UNINA01966oam 2200529I 450 991070713570332120160622105139.0(CKB)5470000002462143(OCoLC)885119842(EXLCZ)99547000000246214320140802d1958 ua 0engurn||||||||||crirdacontenttxtrdacontentcrdamediacrrdacarrierSelected annotated bibliography of the geology and occurrence of uranium-bearing marine black shales in the United States /by Carolyn E. FixWashington, D.C. :United States Department of the Interior, Geological Survey,1958.Washington :United States Government Printing Office.1 online resource (iii, 263-325, 1 page of plate) mapsSelected bibliographies of uranium geologyGeological Survey bulletin ;1059-FTitle from title screen (viewed July 22, 2014)."This compilation was done on behalf of the U. S. Atomic Energy Commission and is published with the permission of the Commission."Includes bibliographies and indexes.Uranium oresUnited StatesBibliographyUranium oresfastUnited StatesfastBibliographies.fastBibliographies.lcgftUranium oresUranium ores.Fix Carolyn E.1418315Geological Survey (U.S.),U.S. Atomic Energy Commission,COPCOPOCLCOOCLCFGPOOCLGPOBOOK9910707135703321Selected annotated bibliography of the geology and occurrence of uranium-bearing marine black shales in the United States3529361UNINA