01025nam0-22003011i-450-990000084470403321000008447FED01000008447(Aleph)000008447FED0100000844720011111d--------km-y0itay50------baitay-------001yyProceedings of a symposium on mix design and quality control of concrete, London May, 1954organizing secretary P. H. T.Goodingeditor Ralph P. Andrew.LondonCement and concrete association1955XVI, 548 p.ill.25 cmCemento armatoCongressi1954Cemento armatoControllo di qualitàCongressi1954CongressiLondra1954620.137SYMPOSIUM ON MIX DESIGN AND QUALITY CONTROL OF CONCRETE, Londra, 1954ITUNINARICAUNIMARCBK99000008447040332113 G 13 0821261FINBCFINBCUNINAING0100611nam0-22002291i-450-990002834500403321000283450FED01000283450(Aleph)000283450FED01000283450--------d--------km-y0itay50------baENGFinanziamenti a medio termine.di Ronconi. Schiavon.Ronconi,Giuseppe115202ITUNINARICAUNIMARCBK9900028345004033214-447-TBTBECAECAFinanziamenti a medio termine417043UNINAING0104365nam 2200565 450 991082087500332120200810212242.01-4704-5804-7(CKB)4100000011244159(MiAaPQ)EBC6195968(RPAM)21609889(PPN)250656353(EXLCZ)99410000001124415920200810d2020 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierThe bounded and precise word problems for presentations of groups /S.V. IvanovProvidence, RI :American Mathematical Society,2020.1 online resource (118 pages)Memoirs of the American Mathematical Society,0065-9266 ;number 12811-4704-4143-8 Includes bibliographical references.Preliminaries -- Proof of proposition 1.1 -- Calculus of brackets for group presentation (1.2) -- Proofs of theorem 1.2 and corollary 1.3 -- Calculus of brackets for group presentation (1.4) -- Proof of theorem 1.4 -- Minimizing diagrams over (1.2) and proofs of theorem 1.5 and corollary 1.6 -- Construction of minimal diagrams over (1.4) and proof of theorem 1.7 -- Polygonal curves in the plane and proofs of theorems 1.8, 1.9 and corollary 1.10."We introduce and study the bounded word problem and the precise word problem for groups given by means of generators and defining relations. For example, for every finitely presented group, the bounded word problem is in NP, i.e., it can be solved in nondeterministic polynomial time, and the precise word problem is in PSPACE, i.e., it can be solved in polynomial space. The main technical result of the paper states that, for certain finite presentations of groups, which include the Baumslag-Solitar one-relator groups and free products of cyclic groups, the bounded word problem and the precise word problem can be solved in polylogarithmic space. As consequences of developed techniques that can be described as calculus of brackets, we obtain polylogarithmic space bounds for the computational complexity of the diagram problem for free groups, for the width problem for elements of free groups, and for computation of the area defined by polygonal singular closed curves in the plane. We also obtain polynomial time bounds for these problems"--Provided by publisher.Memoirs of the American Mathematical Society ;number 1281.Group theory and generalizations -- Special aspects of infinite or finite groups -- Geometric group theory [See also 05C25, 20E08, 57Mxx]mscGroup theory and generalizations -- Special aspects of infinite or finite groups -- Generators, relations, and presentationsmscGroup theory and generalizations -- Special aspects of infinite or finite groups -- Cancellation theory; application of van Kampen diagrams [See also 57M05]mscConvex and discrete geometry -- Polytopes and polyhedra -- Combinatorial properties (number of faces, shortest paths, etc.) [See also 05Cxx]mscWord problems (Mathematics)Presentations of groups (Mathematics)Group theory and generalizations -- Special aspects of infinite or finite groups -- Geometric group theory [See also 05C25, 20E08, 57Mxx].Group theory and generalizations -- Special aspects of infinite or finite groups -- Generators, relations, and presentations.Group theory and generalizations -- Special aspects of infinite or finite groups -- Cancellation theory; application of van Kampen diagrams [See also 57M05].Convex and discrete geometry -- Polytopes and polyhedra -- Combinatorial properties (number of faces, shortest paths, etc.) [See also 05Cxx].Word problems (Mathematics)Presentations of groups (Mathematics)512/.220F0520F0620F1068Q2568U0552B0520F6568W30mscIvanov S. V(Sergei V.),1715714MiAaPQMiAaPQMiAaPQBOOK9910820875003321The bounded and precise word problems for presentations of groups4110586UNINA06317nam 22007211 450 991095402370332120200514202323.0978150991623815099162379781509916214150991621010.5040/9781509916238(CKB)4100000005465742(MiAaPQ)EBC5434426(OCoLC)1028615987(UtOrBLW)bpp09262003(UtOrBLW)BP9781509916238BC(Perlego)809056(EXLCZ)99410000000546574220180531d2018 uy 0engurcnu||||||||rdacontentrdamediardacarrierThe EU, world trade law, and the right to food rethinking free trade agreements with developing countries /Giovanni GruniOxford [UK] ;Portland, Oregon :Hart Publishing,2018.1 online resource (219 pages)Studies in international trade and investment law9781509943746 1509943749 9781509916207 1509916202 Includes bibliographical references and index.1. Introduction -- I. Why a Book on Human Rights and International Trade Agreements? -- II. Area of Research -- III. Objective of the Book -- IV. Book Outline -- 2. The Right to Food in International Law -- I. Introduction -- II. The Content of the Right to Food -- III. State Duties -- IV. The Right to Food and the Negotiation of Trade Agreements -- V. Defragmenting International Law: Paths of Legal Dialogue between Human Rights and Trade Law and the Role of the EU -- VI. Conclusions -- 3. Realising the Right to Food in the Global Food Market -- I. Introduction -- II. Market Failures -- III. Limits of Development Aid and Domestic Policies -- IV. Vulnerable Categories -- V. The Role of the European Union -- VI. Conclusions -- 4. The EU External Trade Policy and the EU External Food Security Policy -- I. Introduction -- II. The Influence of the EU on International Trade Law: Institutional Dimension -- III. The EU Trade Strategy -- IV. The Right to Food in the External Relations of the EU -- V. Food Security in the Negotiations of Free Trade Agreements -- VI. Conclusions -- 5. The Right to Food in the WTO -- I. Introduction -- II. Import Restrictions -- III. Safeguards -- IV. The Special Safeguards (SSG) -- V. The Enabling Clause, Waivers and Free Trade Agreements -- VI. Export Restrictions -- VII. Conclusions -- 6. The EU-CARIFORUM Economic Partnership Agreement -- I. Introduction -- II. The EU-CARIFORUM Economic Partnership Agreement -- III. Import Restrictions -- IV. Safeguards -- V. Export Restrictions -- VI. Conclusions -- 7. The Economic Partnership Agreements between the EU and Sub-Saharan Africa -- I. Introduction -- II. The State of Negotiations between the EU and Africa -- III. Sub-Saharan Africa's Economic and Legal Setting -- IV. Import Restrictions -- V. Safeguards -- VI. Export Restrictions -- VII. Conclusions -- 8. Conclusions -- I. Introduction -- II. Summary of the Main Findings of the First Four Chapters -- III. Main Findings of the Case Studies -- IV. An EU Trade Policy for Global Food Security -- V. The EU, the Right to Food and Developing CountriesIn recent years the European Union has developed a comprehensive strategy to conclude free trade agreements which includes not only prominent trade partners such as Canada, the United States and Japan but also numerous developing countries. This book looks at the existing WTO law and at the new EU free trade agreements with the Caribbean and sub-Saharan Africa through the lens of the human right to adequate food. It shows how the clauses on the import and export of food included in recent free trade agreements limit the capacity of these countries to implement food security policies and to respect their human rights obligations. This outcome appears to be at odds with international human rights law and dismissive of existing human rights references in EU-founding treaties as well as in treaties between the EU and developing states. Yet, the book argues against the conception in human rights literature that there is an inflexible agenda encoded in world trade law which is fundamentally conflictual with non-economic interests. The book puts forward the idea that the European Union is perfectly placed to develop a narrative of globalisation considering other areas of public international law when negotiating trade agreements and argues that the EU does have the competences and influence to uphold a role of international leadership in designing a sustainable global trading system. Will the EU be ambitious enough? A timely contribution to the growing academic literature on the relation between world trade law and international human rights law, this book imagines a central role for the EU in reconciling these two areas of international lawStudies in international trade and investment law.European Union, world trade law, and the right to foodEconomic assistance, EuropeanDeveloping countriesFood supplyLaw and legislationDeveloping countriesForeign trade regulationEuropean Union countriesFree tradeEuropean Union countriesRight to foodDeveloping countriesWorld Trade OrganizationEuropean Union countriesInternational economic & trade lawDeveloping countriesForeign economic relationsEuropean Union countriesEuropean Union countriesCommercial policyEuropean Union countriesForeign economic relationsDeveloping countriesEconomic assistance, EuropeanFood supplyLaw and legislationForeign trade regulationFree tradeRight to foodWorld Trade Organization382/.456640094Gruni Giovanni1830634UtOrBLWUtOrBLWUkLoBPBOOK9910954023703321The EU, world trade law, and the right to food4401109UNINA