Filtern
Erscheinungsjahr
- 2012 (2663) (entfernen)
Dokumenttyp
- Wissenschaftlicher Artikel (1050)
- Ausgabe (Heft) zu einer Zeitschrift (406)
- Buch (Monographie) (235)
- Teil eines Buches (Kapitel) (184)
- Konferenzveröffentlichung (165)
- Dissertation (164)
- Bericht (133)
- Rezension (125)
- Arbeitspapier (87)
- Beitrag zu einer (nichtwissenschaftlichen) Zeitung oder Zeitschrift (40)
Sprache
- Deutsch (1366)
- Englisch (1195)
- Portugiesisch (44)
- Französisch (18)
- Mehrsprachig (16)
- Spanisch (11)
- Italienisch (8)
- Kroatisch (2)
- dut (1)
- Norwegisch Bokmål (1)
Schlagworte
- Literatur (56)
- Deutsch (53)
- Rilke, Rainer Maria (27)
- Lyrik (18)
- Begriffsgeschichte <Fach> (17)
- Freud, Sigmund (17)
- Rezension (17)
- Übersetzung (17)
- Deutschland (16)
- Pasolini, Pier Paolo (16)
Institut
- Medizin (269)
- Gesellschaftswissenschaften (151)
- Präsidium (148)
- Rechtswissenschaft (143)
- Physik (117)
- Biowissenschaften (93)
- Biochemie und Chemie (88)
- Exzellenzcluster Die Herausbildung normativer Ordnungen (82)
- Wirtschaftswissenschaften (75)
- Geschichtswissenschaften (66)
This paper considers the logic FOcard, i.e., first-order logic with cardinality predicates that can specify the size of a structure modulo some number. We study the expressive power of FOcard on the class of languages of ranked, finite, labelled trees with successor relations. Our first main result characterises the class of FOcard-definable tree languages in terms of algebraic closure properties of the tree languages. As it can be effectively checked whether the language of a given tree automaton satisfies these closure properties, we obtain a decidable characterisation of the class of regular tree languages definable in FOcard. Our second main result considers first-order logic with unary relations, successor relations, and two additional designated symbols < and + that must be interpreted as a linear order and its associated addition. Such a formula is called addition-invariant if, for each fixed interpretation of the unary relations and successor relations, its result is independent of the particular interpretation of < and +. We show that the FOcard-definable tree languages are exactly the regular tree languages definable in addition-invariant first-order logic. Our proof techniques involve tools from algebraic automata theory, reasoning with locality arguments, and the use of logical interpretations. We combine and extend methods developed by Benedikt and Segoufin (ACM ToCL, 2009) and Schweikardt and Segoufin (LICS, 2010).
Die Fundmeldungen in Band 24 von Botanik und Naturschutz in Hessen tragen die laufenden Nummern 1750 bis 1872 und stammen von Rolf Angersbach, Kurt Baumann, Ralph Baumgärtel, Dieter Bickler, Dirk Bönsel, Wolfgang Ehmke, Christian Feuring, Thomas Gregor, Volker Holzgreve, Karsten Horn, Heinz Kalheber, Gerwin Kasperek, Matthias Kellner, Detlef Mahn, Hans Reichert, Bernd Sauerwein, Hjalmar Thiel, Bärbel Wellmann und Jochen Wulfhorst.