LEADER 01131nam 2200337 450 001 990003298350203316 005 20090729133200.0 010 $a0-201-05289-X 035 $a000329835 035 $aUSA01000329835 035 $a(ALEPH)000329835USA01 035 $a000329835 100 $a20090729d1981----km-y0itay50------ba 101 $aeng 102 $aUS 105 $ay---||||001yy 200 1 $aTo fulfill a vision$ejerusalem Einstein Centennial symposium on Gauge theories and unification of physical forces$fedited by Yuval Ne'eman 210 $aReading$cAddison-Wesley$d1981 215 $aXXXI, 279 p.$e23 cm 606 0 $aTeoria unitaria dei campi$xCongressi$z1979 676 $a530.142 702 1$aNE'EMAN,$bYuval 710 02$aJerusalem Einstein Centennial symposium on Gauge theories and unification of physical forces$f<1979;$eGerusalemme>$0605426 801 0$aIT$bsalbc$gISBD 912 $a990003298350203316 951 $a530.142 JER$b12650/CBS$c530.142$d00325403 959 $aBK 969 $aSCI 979 $aRSIAV7$b90$c20090729$lUSA01$h1332 996 $aTo fulfill a vision$91122761 997 $aUNISA LEADER 03356nam 22004935 450 001 9910886999103321 005 20240907131720.0 010 $a3-031-71294-3 024 7 $a10.1007/978-3-031-71294-4 035 $a(CKB)34868692600041 035 $a(MiAaPQ)EBC31651898 035 $a(Au-PeEL)EBL31651898 035 $a(DE-He213)978-3-031-71294-4 035 $a(OCoLC)1455343595 035 $a(EXLCZ)9934868692600041 100 $a20240907d2024 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic-Based Program Synthesis and Transformation $e34th International Symposium, LOPSTR 2024, Milan, Italy, September 9?10, 2024, Proceedings /$fedited by Juliana Bowles, Harald Søndergaard 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (248 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14919 311 08$a3-031-71293-5 327 $a -- 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14919 606 $aComputer science 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer science. 615 14$aComputer Science Logic and Foundations of Programming. 676 $a004.0151 700 $aBowles$b Juliana$01261671 701 $aSøndergaard$b Harald$0999236 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910886999103321 996 $aLogic-Based Program Synthesis and Transformation$94236281 997 $aUNINA