LEADER 04014nam 2200721Ia 450 001 9910454498503321 005 20200520144314.0 010 $a0-19-160109-8 010 $a1-281-97087-5 010 $a9786611970871 010 $a0-19-152283-X 035 $a(CKB)1000000000721484 035 $a(EBL)3052747 035 $a(OCoLC)123129705 035 $a(SSID)ssj0000087191 035 $a(PQKBManifestationID)11119392 035 $a(PQKBTitleCode)TC0000087191 035 $a(PQKBWorkID)10052486 035 $a(PQKB)10458335 035 $a(SSID)ssj0000164780 035 $a(PQKBManifestationID)11160925 035 $a(PQKBTitleCode)TC0000164780 035 $a(PQKBWorkID)10120523 035 $a(PQKB)10951887 035 $a(StDuBDS)EDZ0000074500 035 $a(MiAaPQ)EBC3052747 035 $a(Au-PeEL)EBL3052747 035 $a(CaPaEBR)ebr10272836 035 $a(CaONFJC)MIL197087 035 $a(EXLCZ)991000000000721484 100 $a19990809d2000 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aGoverning with judges$b[electronic resource] $econstitutional politics in Europe /$fAlec Stone Sweet 210 $aOxford ;$aNew York $cOxford University Press$d2000 215 $a1 online resource (247 p.) 300 $aDescription based upon print version of record. 311 $a0-19-829771-8 311 $a0-19-829730-0 320 $aIncludes bibliographical references (p. [205]-222) and index. 327 $a""Contents""; ""List of Figures""; ""List of Tables""; ""1. Norms, Dispute Resolution, and Judicialization""; ""Introduction""; ""Rules, Dispute Resolution, Strategic Behaviour""; ""The Construction of Judicial Power""; ""Constitutionalism and Politics""; ""Understanding Constitutional Politics""; ""Constitutional Politics in Western Europe""; ""2. Constitutional Adjudication and Parliamentary Democracy""; ""The European Model of Constitutional Review""; ""Constitutional Contracting""; ""Parliamentary Government and Constitutional Review""; ""Conclusion""; ""3. Legislating"" 327 $a""Constitutional Courts as Specialized Legislative Chambers""""Law-makers as Constitutional Judges""; ""Principal-Agent Issues""; ""Conclusion""; ""4. Protecting Rights""; ""Rights, Normative Hierarchies, and Constitutional Decision-making""; ""Parliament and Constitutional Adjudication""; ""The Judiciary and Constitutional Adjudication""; ""Conclusion""; ""5. The Politics of Judging""; ""Judging, Law-making, and Separation of Powers Doctrines""; ""The Kelsenian Model""; ""Constitutional Politics and Legitimacy""; ""Conclusion""; ""6. Constructing a Supranational Constitution"" 327 $a""European Integration and Supranational Governance""""The Constitutionalization of the European Community""; ""The Constitutional Politics of Supremacy""; ""Constitutional Politics as Legislative Politics""; ""Conclusion""; ""7. Theory of Constitutional Politics""; ""The Judicialization of Law-making""; ""Constitutional Decision-making and Governance""; ""Bibliography""; ""References""; ""Index""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""N""; ""O""; ""P""; ""Q""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W""; ""Y""; ""Z"" 330 8 $aThis text elaborates a theory of constitutional politics. It examines the pan-European movement to confer constitutional review authority on a new governmental institution. 606 $aConstitutional courts$zEurope 606 $aJudicial power$zEurope 606 $aLaw$xPolitical aspects 608 $aElectronic books. 615 0$aConstitutional courts 615 0$aJudicial power 615 0$aLaw$xPolitical aspects. 676 $a347.4/012 700 $aStone Sweet$b Alec$0254673 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910454498503321 996 $aGoverning with judges$91087104 997 $aUNINA LEADER 06398nam 22008295 450 001 996465412003316 005 20200702234520.0 010 $a1-280-38296-1 010 $a9786613560872 010 $a3-642-02261-8 024 7 $a10.1007/978-3-642-02261-6 035 $a(CKB)1000000000753979 035 $a(SSID)ssj0000318711 035 $a(PQKBManifestationID)11245862 035 $a(PQKBTitleCode)TC0000318711 035 $a(PQKBWorkID)10310575 035 $a(PQKB)10055160 035 $a(DE-He213)978-3-642-02261-6 035 $a(MiAaPQ)EBC3064294 035 $a(PPN)136306659 035 $a(EXLCZ)991000000000753979 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language, Information and Computation$b[electronic resource] $e16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings /$fedited by Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XI, 409 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v5514 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-02260-X 320 $aIncludes bibliographical references and author index. 327 $aTutorials and Invited Talks -- A Characterisation of Definable NP Search Problems in Peano Arithmetic -- Algebraic Valuations as Behavioral Logical Matrices -- Query Answering in Description Logics: The Knots Approach -- Mathematical Logic for Life Science Ontologies -- Recognizability in the Simply Typed Lambda-Calculus -- Logic-Based Probabilistic Modeling -- Contributed Papers -- Completions of Basic Algebras -- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization -- Observational Completeness on Abstract Interpretation -- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability -- Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points -- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment -- On-the-Fly Macros -- Abductive Logic Grammars -- On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar -- Observational Effort and Formally Open Mappings -- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus -- Property Driven Three-Valued Model Checking on Hybrid Automata -- Team Logic and Second-Order Logic -- Ludics and Its Applications to Natural Language Semantics -- Spoilt for Choice: Full First-Order Hierarchical Decompositions -- Classic-Like Analytic Tableaux for Finite-Valued Logics -- A Duality for Algebras of Lattice-Valued Modal Logic -- An Independence Relation for Sets of Secrets -- Expressing Extension-Based Semantics Based on Stratified Minimal Models -- Deep Inference in Bi-intuitionistic Logic -- : An Action-Based Logic for Reasoning about Contracts -- Ehrenfeucht-Fraďssé Games on Random Structures -- Sound and Complete Tree-Sequent Calculus for Inquisitive Logic -- The Arrow Calculus as a Quantum Programming Language -- Knowledge, Time, and Logical Omniscience. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009. The 25 revised full papers presented together with six tutorials and invited talks were carefully reviewed and selected from 57 submissions. The papers cover some of the most active areas of research on the frontiers between computation, logic, and linguistics, with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. 410 0$aLecture Notes in Artificial Intelligence ;$v5514 606 $aArtificial intelligence 606 $aComputers 606 $aAlgorithms 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 608 $aKongress.$2swd 608 $aTokio (2009)$2swd 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aAlgorithms. 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 14$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aMathematical Logic and Formal Languages. 615 24$aMathematics of Computing. 615 24$aDiscrete Mathematics in Computer Science. 676 $a006.3 686 $aSS 4800$2rvk 702 $aOno$b Hiroakira$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKanazawa$b Makoto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Queiroz$b Ruy$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aWorkshop on Logic, Language, Information and Computation 906 $aBOOK 912 $a996465412003316 996 $aLogic, Language, Information and Computation$9772504 997 $aUNISA LEADER 02164nam 2200529z- 450 001 9910557547403321 005 20211118 035 $a(CKB)5400000000044132 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/73863 035 $a(oapen)doab73863 035 $a(EXLCZ)995400000000044132 100 $a20202111d2020 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aEmerging Swine Viruses 210 $cFrontiers Media SA$d2020 215 $a1 online resource (134 p.) 311 08$a2-88963-722-0 330 $aThis eBook is a collection of articles from a Frontiers Research Topic. Frontiers Research Topics are very popular trademarks of the Frontiers Journals Series: they are collections of at least ten articles, all centered on a particular subject. With their unique mix of varied contributions from Original Research to Review Articles, Frontiers Research Topics unify the most influential researchers, the latest key findings and historical advances in a hot research area! Find out more on how to host your own Frontiers Research Topic or contribute to one as an author by contacting the Frontiers Editorial Office: frontiersin.org/about/contact 606 $aMedicine and Nursing$2bicssc 606 $aVeterinary medicine$2bicssc 610 $adiseases 610 $aeditorial 610 $aemerging 610 $aswine 610 $aviruses 615 7$aMedicine and Nursing 615 7$aVeterinary medicine 700 $aChen$b Zhenhai$4edt$01301205 702 $aJongkaewwattana$b Anan$4edt 702 $aMa$b Jingyun$4edt 702 $aJuan Perfumo$b Carlos$4edt 702 $aRoberto Perez$b Daniel$4edt 702 $aPereda$b Ariel$4edt 702 $aChen$b Zhenhai$4oth 702 $aJongkaewwattana$b Anan$4oth 702 $aMa$b Jingyun$4oth 702 $aJuan Perfumo$b Carlos$4oth 702 $aRoberto Perez$b Daniel$4oth 702 $aPereda$b Ariel$4oth 906 $aBOOK 912 $a9910557547403321 996 $aEmerging Swine Viruses$93025796 997 $aUNINA