LEADER 06217nam 22008055 450 001 996465879103316 005 20230220221835.0 010 $a1-280-38660-6 010 $a9786613564528 010 $a3-642-13089-5 024 7 $a10.1007/978-3-642-13089-2 035 $a(CKB)2550000000011542 035 $a(SSID)ssj0000399489 035 $a(PQKBManifestationID)11297911 035 $a(PQKBTitleCode)TC0000399489 035 $a(PQKBWorkID)10376500 035 $a(PQKB)11026583 035 $a(DE-He213)978-3-642-13089-2 035 $a(MiAaPQ)EBC3065260 035 $a(PPN)14907302X 035 $a(EXLCZ)992550000000011542 100 $a20100509d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLanguage and Automata Theory and Applications$b[electronic resource] $e4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings /$fedited by Carlos Martin-Vide, Henning Fernau, Adrian Horia Dediu 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XIV, 622 p. 92 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6031 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-13088-7 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Complexity in Convex Languages -- Three Learnable Models for the Description of Language -- Arbology: Trees and Pushdown Automata -- Analysis of Communicating Automata -- Regular Papers -- Complexity of the Satisfiability Problem for a Class of Propositional Schemata -- A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton -- A Fast Longest Common Subsequence Algorithm for Similar Strings -- Abelian Square-Free Partial Words -- Avoidable Binary Patterns in Partial Words -- Equivalence and Inclusion Problem for Strongly Unambiguous Büchi Automata -- Pregroup Grammars with Letter Promotions -- A Hierarchical Classification of First-Order Recurrent Neural Networks -- Choosing Word Occurrences for the Smallest Grammar Problem -- Agreement and Cliticization in Italian: A Pregroup Analysis -- Geometricity of Binary Regular Languages -- On the Expressive Power of FO[?+?] -- Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach -- Operator Precedence and the Visibly Pushdown Property -- On the Maximal Number of Cubic Runs in a String -- On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT -- Parametric Metric Interval Temporal Logic -- Short Witnesses and Accepting Lassos in ?-Automata -- Grammar-Based Compression in a Streaming Model -- Simplifying Regular Expressions -- A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks -- The Inclusion Problem for Regular Expressions -- Learnability of Automatic Classes -- Untestable Properties Expressible with Four First-Order Quantifiers -- The Copying Power of Well-Nested Multiple Context-Free Grammars -- Post Correspondence Problem with Partially Commutative Alphabets -- Reversible Pushdown Automata -- String Extension Learning Using Lattices -- The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape -- Primitive Words Are Unavoidable for Context-Free Languages -- Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness -- Hard Counting Problems for Partial Words -- Exact Analysis of Horspool?s and Sunday?s Pattern Matching Algorithms with Probabilistic Arithmetic Automata -- SA-REPC ? Sequence Alignment with Regular Expression Path Constraint -- CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages -- A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems -- Using Sums-of-Products for Non-standard Reasoning -- Restarting Automata with Structured Output and Functional Generative Description -- A Randomized Numerical Aligner (rNA) -- Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data -- Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R) -- Incremental Building in Peptide Computing to Solve Hamiltonian Path Problem -- Variable Automata over Infinite Alphabets -- Some Minimality Results on Biresidual and Biseparable Automata -- Extending Stochastic Context-Free Grammars for an Application in Bioinformatics -- Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages -- Complexity of Guided Insertion-Deletion in RNA-Editing. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6031 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aPattern recognition systems 606 $aComputer science 606 $aAlgorithms 606 $aArtificial intelligence 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aAutomated Pattern Recognition 606 $aTheory of Computation 606 $aAlgorithms 606 $aArtificial Intelligence 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aPattern recognition systems. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aArtificial intelligence. 615 14$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aAutomated Pattern Recognition. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aArtificial Intelligence. 676 $a410.1/15 702 $aMartin-Vide$b Carlos$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFernau$b Henning$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDediu$b Adrian Horia$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aLATA 2010 906 $aBOOK 912 $a996465879103316 996 $aLanguage and Automata Theory and Applications$9774044 997 $aUNISA LEADER 04146nam 2200721 450 001 9910788838803321 005 20230808211401.0 010 $a3-11-039068-X 010 $a3-11-022812-2 024 7 $a10.1515/9783110228120 035 $a(CKB)3360000000513369 035 $a(MiAaPQ)EBC4749678 035 $a(DE-B1597)38706 035 $a(OCoLC)1002252668 035 $a(OCoLC)1004868282 035 $a(OCoLC)1011446124 035 $a(OCoLC)1024021415 035 $a(OCoLC)979969381 035 $a(OCoLC)987921837 035 $a(OCoLC)992454622 035 $a(OCoLC)999360907 035 $a(DE-B1597)9783110228120 035 $a(Au-PeEL)EBL4749678 035 $a(CaPaEBR)ebr11316678 035 $a(CaONFJC)MIL970157 035 $a(OCoLC)965716117 035 $a(EXLCZ)993360000000513369 100 $a20161220h20162016 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 00$aFocus on religion in Central and Eastern Europe $ea regional view /$fedited by Andra?s Ma?te?-To?th and Gergely Rosta 210 1$aBerlin, [Germany] ;$aBoston, [Massachusetts] :$cDe Gruyter,$d2016. 210 4$d©2016 215 $a1 online resource (216 pages) 225 1 $aReligion and Society,$x1437-5370 ;$vVolume 68 311 $a3-11-175436-7 311 $a3-11-022811-4 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $tFrontmatter -- $tForeword -- $tTable of Contents -- $tThe Region of Central and Eastern Europe: A Geography and Religious Studies Approach / $rMáté-Tóth, András / Hajdú, Zoltán -- $tReligion and Values in Central and Eastern Europe / $rPolak, Regina / Rosta, Gergely -- $tReligion and Nation / $rTomka, Miklós / Szilárdi, Réka -- $tEastern Orthodoxy and Its Churches in Central and Eastern Europe / $rKalkandjieva, Daniela -- $tChurch-Related Higher Education in Central and Eastern Europe Twenty Years after Political Transition / $rPusztai, Gabriella / Farkas, Csilla -- $tMapping New Religious Movements in Central and Eastern Europe: Approaching the Problem / $rSmoczy?ski, Rafa? -- $tSociology of Religion and Social Network Based Approaches in North America and Central and Eastern Europe: A Review / $rNagy, Gábor Dániel -- $tIndex of Persons 330 $aDifferent religious groups in Central and Eastern Europe influenced societies in the region after the fall of Communism and continue to play a crucial role in culture, politics, social networks and value transformations. As part of the REVACERN (Religion and Values in Central and Eastern Europe Research Network) project - supported by the EU Sixth Framework Program - more than 70 researchers from 15 countries in the region analyzed and discussed the most important trends in values, religions and religious communities and presented their findings in a comparative way. They tested well-known theories of secularization, nationalism, democracy and pluralism in the colorful region Central and Eastern Europe. This book summarizes their most important findings in seven chapters, addressing religion and its entanglements with geography, values, nationalism, Orthodoxy, education, legal regulation, civil society, social networks, new religious movements and new forms of religiosity. Each chapter also provides a regional overview. 410 0$aReligion and society (Hague, Netherlands) ;$vVolume 68. 606 $aRELIGION / Comparative Religion$2bisacsh 607 $aEurope, Central$xReligion 607 $aEurope, Eastern$xReligion 610 $aCentral and Eastern Europe. 610 $aNationalism. 610 $aReligion. 610 $aSocietal Transformation. 610 $aValues. 615 7$aRELIGION / Comparative Religion. 676 $a200.947 702 $aMa?te?-To?th$b Andra?s$f1957- 702 $aRosta$b Gergely 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910788838803321 996 $aFocus on religion in Central and Eastern Europe$93837719 997 $aUNINA