Separating regular languages with two quantifier alternations [PDF]
Logical Methods in Computer Science, 2018 We investigate a famous decision problem in automata theory: separation. Given a class of language C, the separation problem for C takes as input two regular languages and asks whether there exists a third one which belongs to C, includes the first one ...
Thomas Place
doaj +3 more sources
Separation for dot-depth two [PDF]
Logical Methods in Computer Science, 2021 The dot-depth hierarchy of Brzozowski and Cohen classifies the star-free languages of finite words. By a theorem of McNaughton and Papert, these are also the first-order definable languages.
Thomas Place, Marc Zeitoun
doaj +4 more sources
Deciding definability in FO2(
Logical Methods in Computer Science, 2015 We provide a decidable characterization of regular forest languages definable in FO2(
Thomas Place, Luc Segoufin
doaj +7 more sources
Separating Regular Languages with First-Order Logic [PDF]
Logical Methods in Computer Science, 2016 Given two languages, a separator is a third language that contains the first one and is disjoint from the second one. We investigate the following decision problem: given two regular input languages of finite words, decide whether there exists a first ...
Thomas Place, Marc Zeitoun
doaj +7 more sources
Fiestas, Saints and Spirituality: Collective Rituals as Community Eldercare in Andalusia
Anthropology & Aging, 2022 In this paper, I explore how spirituality and collective rituals influence eldercare in a small town in Andalusia, Spain. I describe how older people’s interactions with the town’s Virgin Mary statues generate personhood, situating the Virgin saints as ...
Chloë Place
doaj +1 more source
Re-evaluating the place attachment concept and developing the new place relatedness scale: Evidences from Serbia [PDF]
Geographica Pannonica, 2023 The attachment can be directed towards the people (socially based attachment), but also can be based on the physical characteristics of the place or other factors.
Solarević Milica +5 more
doaj +1 more source
An Analysis of the Ontological Foundations of the Opposition of Place and Space in Modern Architecture [PDF]
Journal of Philosophical Investigations, 2021 Place is the most fundamental concept in architecture and is a necessity of architectural design, and since we face changes in our understanding of place notion in the modern era which have had distinctly profound and sometimes unpleasant effects on ...
Flora Biabani +3 more
doaj +1 more source
On Time and Place Continuity, An Investigation and Analysis of the Idea of “Continuous Architecture” on the Main Campus of Koç University [PDF]
منظر, 2023 One of the primary challenges of landscape knowledge is to develop practical strategies to use the landscape approach on the scale of operational projects.
Seyed Alireza Seyedi, Morteza Hemmati
doaj +1 more source
A decidable characterization of locally testable tree languages [PDF]
Logical Methods in Computer Science, 2011 A regular tree language L is locally testable if membership of a tree in L depends only on the presence or absence of some fix set of neighborhoods in the tree.
Thomas Place, Luc Segoufin
doaj +1 more source
Anteseden Penurunan Penjualan Produk Kosmetik GRS Rendy
Jurnal Bisnis dan Kewirausahaan, 2023 This research was conducted to determine the antecedent factors that led to decreased sales of cosmetic products by GRS Rendy Company. Data collection by distributing questionnaires to company owners and consumers aged 17 years and ...
Kevin Cahya Santoso +1 more
doaj +1 more source