LEADER 03989nam 2200625Ia 450 001 9910452533203321 005 20200520144314.0 010 $a0-7391-7680-3 010 $a0-7391-7681-1 035 $a(CKB)2550000001108726 035 $a(EBL)1251013 035 $a(OCoLC)852758579 035 $a(SSID)ssj0000917080 035 $a(PQKBManifestationID)12393320 035 $a(PQKBTitleCode)TC0000917080 035 $a(PQKBWorkID)10891886 035 $a(PQKB)11272746 035 $a(MiAaPQ)EBC1251013 035 $a(Au-PeEL)EBL1251013 035 $a(CaPaEBR)ebr10731689 035 $a(CaONFJC)MIL504343 035 $a(EXLCZ)992550000001108726 100 $a20120917d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aReligion and politics in a global society$b[electronic resource] $ecomparative perspectives from the portuguese-speaking world /$fedited by Paul Christopher Manuel, Alynna Lyon, and Clyde Wilcox 210 $aLanham $cLexington Books$dc2013 215 $a1 online resource (276 p.) 300 $aDescription based upon print version of record. 311 $a0-7391-8006-1 311 $a1-299-73092-2 320 $aIncludes bibliographical references (p. 237-244) and index. 327 $aContents; Acknowledgments; Foreword; I: Theoretical, Historical, and Cultural Issues; 1 Religion and Politics in the Portuguese-Speaking World: Three Theoretical Slices; 2 Patterns of Settlement and Religious Imperial Agents in the Portuguese Empire; 3 Portugal and the Building of an Imaginary Empire; 4 India's Luso-Africans: The Politics of Race, Colonialism, and Gender in Early Modern Portugal and Post-Colonial Goa; II: Societies Dominated by a Single Religious Tradition; 5 The Activist Catholic Church in Post-Portuguese East Timor: "The Church is not a Political Institution" 327 $a6 Religion and Politics in Contemporary Portugal: Devotion, Democracy, and the Marian Apparitions at Fa?timaIII: Competing Religious Societies, with a Formerly Dominant Church; 7 Faith-State Relations in Brazil: What Does Religious Competition Mean for Democracy?; 8 The "Depoliticizing Machine": Church and State in Angola since Independence; IV: Societies with Marked Religious Diversity, without a Dominant Church; 9 A Special Place: Imagining Goa from the Estado da India to Indian Independence; 10 The Catholic Church in Mozambique under Revolution, War, and Democracy 327 $a11 Conclusion: Between Land and Sea: Portugal's Two Nationalisms in the Twenty-First CenturyAppendix 1: Map of the Lusophone Global Society; Appendix 2: Religious Composition of Countries in the Case Studies (in percentages); Appendix 3: Contemporary Lusophone Countries; Appendix 4: Portuguese-Influenced Areas; Appendix 5: List of Meetings of the Community of Portuguese-Speaking Countries (Comunidade dos Pai?ses de Li?ngua Portuguesa, or CPLP); Bibliography; Index; About the Editors; About the Contributors 330 $aReligion and Politics in a Global Society: Comparative Perspectives from the Portuguese Speaking World, edited by Paul Christopher Manuel, Alynna Lyon, and Clyde Wilcox, explores the legacy of the Portuguese colonial experience, with careful consideration of the lasting impression that this experience has had on the cultural, religious, and political dynamics in the former colonies. 606 $aReligion and politics$zPortugal 606 $aPortuguese language 608 $aElectronic books. 615 0$aReligion and politics 615 0$aPortuguese language. 676 $a201/.720917569 701 $aManuel$b Paul Christopher$0878083 701 $aLyon$b Alynna$f1969-$01032423 701 $aWilcox$b Clyde$f1953-$0851232 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910452533203321 996 $aReligion and politics in a global society$92457491 997 $aUNINA LEADER 06406nam 22007455 450 001 996466105203316 005 20200702134204.0 010 $a3-540-49223-2 024 7 $a10.1007/3-540-59200-8 035 $a(CKB)1000000000234260 035 $a(SSID)ssj0000326348 035 $a(PQKBManifestationID)11213064 035 $a(PQKBTitleCode)TC0000326348 035 $a(PQKBWorkID)10296634 035 $a(PQKB)10828340 035 $a(DE-He213)978-3-540-49223-8 035 $a(PPN)155178210 035 $a(EXLCZ)991000000000234260 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRewriting Techniques and Applications$b[electronic resource] $e6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings /$fedited by Jieh Hsiang 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (XII, 480 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v914 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-59200-8 327 $aOn some mathematical logic contributions to rewriting techniques: Lost heritage -- Modularity of completeness revisited -- Automatic termination proofs with transformation orderings -- A termination ordering for higher order rewrite systems -- A complete characterization of termination of 0p 1q?1r 0s -- On narrowing, refutation proofs and constraints -- Completion for multiple reduction orderings -- Towards an efficient construction of test sets for deciding ground reducibility -- Term rewriting in contemporary resolution theorem proving -- ??!?=1 Optimizing optimal ?-calculus implementations -- Substitution tree indexing -- Concurrent garbage collection for concurrent rewriting -- Lazy rewriting and eager machinery -- A rewrite mechanism for logic programs with negation -- Level-confluence of conditional rewrite systems with extra variables in right-hand sides -- A polynomial algorithm testing partial confluence of basic semi-Thue systems -- Problems in rewriting applied to categorical concepts by the example of a computational comonad -- Relating two categorical models of term rewriting -- Towards a domain theory for termination proofs -- Higher-order rewrite systems -- Infinitary lambda calculi and böhm models -- Proving the genericity lemma by leftmost reduction is simple -- (Head-)normalization of typeable rewrite systems -- Explicit substitutions with de bruijn's levels -- A restricted form of higher-order rewriting applied to an HDL semantics -- Rewrite systems for integer arithmetic -- General solution of systems of linear diophantine equations and inequations -- Combination of constraint solving techniques: An algebraic point of view -- Some independence results for equational unification -- Regular substitution sets: A means of controlling E-unification -- DISCOUNT: A system for distributed equational deduction -- ASTRE: Towards a fully automated program transformation system -- Parallel ReDuX ? PaReDuX -- STORM: A many-to-one associative-commutative matcher -- LEMMA: A system for automated synthesis of recursive programs in equational theories -- Generating polynomial orderings for termination proofs -- Disguising recursively chained rewrite rules as equational theorems, as implemented in the prover EFTTP Mark 2 -- Prototyping completion with constraints using computational systems -- Guiding term reduction through a neural network: Some preliminary results for the group theory -- Studying quasigroup identities by rewriting techniques: Problems and first results -- Problems in rewriting III. 330 $aThis volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995. The 27 full revised papers were selected from a total of 87 submissions. In addition there are 9 system descriptions and two problem sets, one contributed by Mark E. Stickel and Hantao Zhang and another by Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop. The volume addresses all current aspects of rewriting techniques and their applications and thus defines the state-of-the-art in this active field of research. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v914 606 $aProgramming languages (Electronic computers) 606 $aComputers 606 $aSoftware engineering 606 $aComputer logic 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052 615 0$aProgramming languages (Electronic computers). 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aTheory of Computation. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aSymbolic and Algebraic Manipulation. 676 $a005.13/1 702 $aHsiang$b Jieh$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Rewriting Techniques and Applications$d(6th :$f1995 :$eKaiserslautern, Germany) 906 $aBOOK 912 $a996466105203316 996 $aRewriting Techniques and Applications$9774195 997 $aUNISA