LEADER 04281nam 22005895 450 001 996202815403316 005 20230330012137.0 010 $a3-319-27683-2 024 7 $a10.1007/978-3-319-27683-0 035 $a(CKB)3780000000093482 035 $a(SSID)ssj0001599548 035 $a(PQKBManifestationID)16306090 035 $a(PQKBTitleCode)TC0001599548 035 $a(PQKBWorkID)14892406 035 $a(PQKB)10469698 035 $a(DE-He213)978-3-319-27683-0 035 $a(MiAaPQ)EBC6284151 035 $a(MiAaPQ)EBC5579300 035 $a(Au-PeEL)EBL5579300 035 $a(OCoLC)932129214 035 $a(PPN)190884843 035 $a(EXLCZ)993780000000093482 100 $a20151209d2016 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogical Foundations of Computer Science$b[electronic resource] $eInternational Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /$fedited by Sergei Artemov, Anil Nerode 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (X, 407 p. 33 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9537 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-27682-4 327 $aConstructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic structures -- Computability and randomness -- Logical foundations of programming -- Logical aspects of computational complexity -- Parameterized complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving -- Logical methods in protocol and program verification -- Logical methods in program specification and extraction -- Domain theory logics -- Logical foundations of database theory -- Equational logic and term rewriting -- Lambda and combinatory calculi -- Categorical logic and topological semantics -- Linear logic -- Epistemic and temporal logics -- Intelligent and multiple-agent system logics -- Logics of proof and justification -- Non-monotonic reasoning -- Logic in game theory and social software -- Logic of hybrid systems -- Distributed system logics -- Mathematical fuzzy logic -- System design logics. 330 $aThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revised full papers were carefully reviewed and selected from 46 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9537 606 $aMachine theory 606 $aFormal Languages and Automata Theory 615 0$aMachine theory. 615 14$aFormal Languages and Automata Theory. 676 $a004 702 $aArtemov$b Sergei$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNerode$b Anil$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996202815403316 996 $aLogical Foundations of Computer Science$9772536 997 $aUNISA LEADER 03981nam 22009015 450 001 9910957101503321 005 20231110144448.0 010 $a9786611368456 010 $a9781281368454 010 $a1281368458 010 $a9781403980298 010 $a1403980292 024 7 $a10.1057/9781403980298 035 $a(CKB)1000000000342827 035 $a(SSID)ssj0000219149 035 $a(PQKBManifestationID)11199988 035 $a(PQKBTitleCode)TC0000219149 035 $a(PQKBWorkID)10221796 035 $a(PQKB)10656028 035 $a(DE-He213)978-1-4039-8029-8 035 $a(MiAaPQ)EBC307554 035 $a(Au-PeEL)EBL307554 035 $a(CaPaEBR)ebr10135675 035 $a(CaONFJC)MIL136845 035 $a(OCoLC)560537999 035 $a(Perlego)3496953 035 $a(EXLCZ)991000000000342827 100 $a20151123d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 12$aA Peaceful Jihad $eNegotiating Identity and Modernity in Muslim Java /$fby R. Lukens-Bull 205 $a1st ed. 2005. 210 1$aNew York :$cPalgrave Macmillan US :$cImprint: Palgrave Macmillan,$d2005. 215 $a1 online resource (xvii, 152 pages) $cillustrations 225 1 $aContemporary Anthropology of Religion,$x2946-3483 300 $aBibliographic Level Mode of Issuance: Monograph 311 0 $a9781403966605 311 0 $a1403966605 311 0 $a9781403966582 311 0 $a1403966583 320 $aIncludes bibliographical references (p. [139]-147) and index. 327 $aNegotiating Tradition, Modernity, and Identity The "House" That Change Built "Politics" by Other Means: Using Education to Negotiate Change Beyond Education You Are Who You Follow: Negotiating Leadership and Community Identity A Peaceful Jihad in a Globalizing World References Cited 330 $aBased on extensive ethnographic research, this book examines how the Islamic community in Java, Indonesia, is actively negotiating both modernity and tradition in the contexts of nation-building, globalisation, and a supposed clash of civilizations. The pesantren community, so-called because it is centered around an educational institution called the pesantren, uses education as a central arena for dealing with globalization and the construction and maintenance of an Indonesian Islamic identity. However, the community's efforts to wrestle with these issues extend beyond education into the public sphere in general and specifically in the area of leadership and politics. The case material is used to understand Muslim strategies and responses to civilizational contact and conflict. Scholars, educated readers, and advanced undergraduates interested in Islam, religious education, the construction of religious identity in the context of national politics and globalization will find this work useful. 410 0$aContemporary Anthropology of Religion,$x2946-3483 606 $aEthnology 606 $aAnthropology 606 $aReligion and sociology 606 $aAstronomy 606 $aGeology 606 $aEthnography 606 $aAnthropology 606 $aSociocultural Anthropology 606 $aSociology of Religion 606 $aAstronomy, Cosmology and Space Sciences 606 $aGeology 615 0$aEthnology. 615 0$aAnthropology. 615 0$aReligion and sociology. 615 0$aAstronomy. 615 0$aGeology. 615 14$aEthnography. 615 24$aAnthropology. 615 24$aSociocultural Anthropology. 615 24$aSociology of Religion. 615 24$aAstronomy, Cosmology and Space Sciences. 615 24$aGeology. 676 $a305.8 700 $aLukens-Bull$b Ronald$01791280 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910957101503321 996 $aA Peaceful Jihad$94328415 997 $aUNINA