LEADER 02438nam 2200469 450 001 9910635098903321 005 20230511203804.0 035 $a(CKB)5850000000308662 035 $a(NjHacI)995850000000308662 035 $a(EXLCZ)995850000000308662 100 $a20230511d2022 uy 0 101 0 $aita 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aPago, dunque sono (cittadino europeo) $eIl futuro dell'Ue tra responsabilita? fiscale, solidarieta? e nuova cittadinanza europea /$fedited by Mauro Campus [and three others] 210 1$aFlorence :$cFirenze University Press,$d2022. 215 $a1 online resource (196 pages) $cillustrations 311 $a88-5518-591-8 311 $a88-5518-593-4 320 $aIncludes bibliographical references and index. 330 $aThe book collects the contributions of a group of scholars, with different scientific backgrounds, on the issue of the relationship between taxation, solidarity and citizenship within the EU. The common thread linking them is the inescapability of the tax duty in a community of rights and the incompleteness of the European system, which performs important functions of collective interest without claiming any cost for those who use it. What emerges is the need for a genuine EU own tax, which, without the intermediary of the Member States, would burden the users of European public goods, increasing awareness of the social value of the EU, amplifying its solidarity dimension, and outlining a new concept of citizenship. In short, I pay, therefore I am (European citizen). 517 $aPago, dunque sono (cittadino europeo) : Il futuro dell?UE tra responsabilità fiscale, solidarietà e nuova cittadinanza europea 517 $aChapter Un passo ulteriore verso un sistema federale 517 $aChapter Tra solidarietà europea e responsabilità nazionali 517 $aPago, dunque sono 606 $aInternational law 606 $aComparative law 615 0$aInternational law. 615 0$aComparative law. 676 $a340.2 702 $aCampus$b Mauro 702 $aLazzerini$b Nicole 702 $aFederico$b Veronica 702 $aDorigo$b Stefano 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910635098903321 996 $aPago, dunque sono (cittadino europeo)$92998743 997 $aUNINA LEADER 03452nam 2200697Ia 450 001 9910778077003321 005 20230721021750.0 010 $a1-4416-1678-0 010 $a1-60750-376-X 010 $a600-00-1439-2 035 $a(CKB)1000000000765302 035 $a(EBL)448770 035 $a(OCoLC)491253312 035 $a(SSID)ssj0000338455 035 $a(PQKBManifestationID)11254932 035 $a(PQKBTitleCode)TC0000338455 035 $a(PQKBWorkID)10295806 035 $a(PQKB)10382127 035 $a(MiAaPQ)EBC448770 035 $a(Au-PeEL)EBL448770 035 $a(CaPaEBR)ebr10309230 035 $a(CaONFJC)MIL577647 035 $a(OCoLC)935268045 035 $a(EXLCZ)991000000000765302 100 $a20081220d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aHandbook of satisfiability$b[electronic resource] /$fedited by Armin Biere ... [et al.] 210 $aAmsterdam, The Netherlands ;$aWashington, DC $cIOS Press$dc2009 215 $a1 online resource (980 p.) 225 1 $aFrontiers in artificial intelligence and applications,$x0922-6389 ;$vv. 185 300 $aDescription based upon print version of record. 311 $a1-58603-929-6 320 $aIncludes bibliographical references and indexes. 327 $aTitle page; Contents; Part I. Theory and Algorithms; Chapter 1. A History of Satisfiability; Chapter 2. CNF Encodings; Chapter 3. Complete Algorithms; Chapter 4. CDCL Solvers; Chapter 5. Look-Ahead Based SAT Solvers; Chapter 6. Incomplete Algorithms; Chapter 7. Fundaments of Branching Heuristics; Chapter 8. Random Satisfiability; Chapter 9. Exploiting Runtime Variation in Complete Solvers; Chapter 10. Symmetry and Satisfiability; Chapter 11. Minimal Unsatisfiability and Autarkies; Chapter 12. Worst-Case Upper Bounds; Chapter 13. Fixed-Parameter Tractability 327 $aPart II. Applications and ExtensionsChapter 14. Bounded Model Checking; Chapter 15. Planning and SAT; Chapter 16. Software Verification; Chapter 17. Combinatorial Designs by SAT Solvers; Chapter 18. Connections to Statistical Physics; Chapter 19. MaxSAT; Chapter 20. Model Counting; Chapter 21. Non-Clausal SAT and ATPG; Chapter 22. Pseudo-Boolean and Cardinality Constraints; Chapter 23. QBF Theory; Chapter 24. QBFs reasoning; Chapter 25. SAT Techniques for Modal and Description Logics; Chapter 26. Satisfiability Modulo Theories; Chapter 27. Stochastic Boolean Satisfiability; Subject Index 327 $aCited Author IndexContributing Authors and Affiliations 330 $aA collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers. 410 0$aFrontiers in artificial intelligence and applications ;$vv. 185. 606 $aPropositional calculus$vCongresses 606 $aDecision making$vCongresses 606 $aComputer algorithms$vCongresses 606 $aAlgebra, Boolean$vCongresses 615 0$aPropositional calculus 615 0$aDecision making 615 0$aComputer algorithms 615 0$aAlgebra, Boolean 676 $a006.3 686 $aST 125$2rvk 686 $aST 300$2rvk 701 $aBiere$b Armin$01193224 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910778077003321 996 $aHandbook of satisfiability$93730670 997 $aUNINA