• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 Hits 1 – 20 of 85 1 Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes Bozzelli, Laura; Montanari, Angelo; Peron, Adriano. - : LIPIcs - Leibniz International Proceedings in Informatics. 28th International Symposium on Temporal Representation and Reasoning (TIME 2021), 2021 BASE Show details 2 Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes ... Bozzelli, Laura; Montanari, Angelo; Peron, Adriano. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021 BASE Show details 3 On Descriptional Propositions in Ibn Sīnā: Elements for a Logical Analysis Rahman, Shahid; Zarepour, Mohammad In: https://hal.univ-lille.fr/hal-02381959 ; 2019 (2019) BASE Show details 4 What the Weatherman Said Enrichment, CTT and the Dialogical Approach to Moderate Contextualism Rahman, Shahid In: https://hal.univ-lille.fr/hal-02380627 ; 2019 (2019) BASE Show details 5 The Mystery of Time ... Salatino, Dante Roberto. - : Zenodo, 2019 BASE Show details 6 The Mystery of Time ... Salatino, Dante Roberto. - : Zenodo, 2019 BASE Show details 7 Spatio-epistemic logics: when knowledge meets geometry (ESSLLI 2018, Sofia, Bulgaria) Balbiani, Philippe In: 30th European Summer School on Logic, Language and Information (ESSLLI 2018) ; https://hal.archives-ouvertes.fr/hal-03044235 ; 30th European Summer School on Logic, Language and Information (ESSLLI 2018), Association for Logic, Language and Information (FoLLI); Association for Computational Linguistics, Bulgaria, Aug 2018, Sofia, Bulgaria ; http://esslli2018.folli.info/ (2018) BASE Show details 8 Problem of performativity generalized ; Problème de la performativité généralisée Rakotomalala, Jean In: https://hal.archives-ouvertes.fr/hal-01546746 ; 2017 (2017) BASE Show details 9 Застосування темпоральної логіки при побудові формальних моделей електронних текстів ; Application of temporal logic for construction of formal models of electronic texts Vavilenkova, Anastasia In: Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях; № 23(1245) (2017): Вісник НТУ "ХПІ": Серія "Нові рішення у сучасних технологіях"; 84-88 ; Вестник Национального Технического Университета "ХПИ" Серия Новые решения в современных технологиях; № 23(1245) (2017): ; 84-88 ; Bulletin of the National Technical University «KhPI» Series: New solutions in modern technologies; № 23(1245) (2017): NTU "KhPI" Bulletin: Series "New Solutions in Modern Technologies"; 84-88 ; 2413-4295 ; 2079-5459 (2017) BASE Show details 10 Scope, scalarity, and polarity in aspectual marking : the case of English 'until' and Spanish 'hasta' Bassa Vanrell, Maria Del Mar. - 2017 BASE Show details 11 A Logic with Revocable and Refinable Strategies Chareton, Christophe; Brunel, Julien; Chemouil, David In: ISSN: 0890-5401 ; EISSN: 1090-2651 ; Information and Computation ; https://hal.archives-ouvertes.fr/hal-00785659 ; Information and Computation, Elsevier, 2015, 242, pp.157-182. ⟨10.1016/j.ic.2015.03.015⟩ ; http://www.sciencedirect.com/science/article/pii/S0890540115000309 (2015) BASE Show details 12 Matching trace patterns with regular policies Baader, Franz; Bauer, Andreas; Tiu, Alwen. - : Springer, 2015 BASE Show details 13 A first-order policy language for history-based transaction monitoring Bauer, Andreas; Gore, Rajeev; Tiu, Alwen In: Proceedings of The 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009) ; http://www.springerlink.com/content/978-3-642-03465-7 (2015) BASE Show details 14 Dynamische Modellanalyse von Metamodellen mit operationaler Semantik Soden, Michael. - : Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015 BASE Show details 15 Dynamische Modellanalyse von Metamodellen mit operationaler Semantik ... Soden, Michael. - : Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015 BASE Show details 16 Zur Semantik der durativen und der iterativen Temporaladverbien unter besonderer Berücksichtigung des zeitphilosophischen Konzepts von John McTaggart Burov, Aleksej In: Kalba ir kontekstai. - Vilnius : Vilniaus Pedagoginio Univ. Leidykla 6 (2014) 1, 231-238 BLLDB Show details 17 Specifying and verifying program transformations with PTRANS Mansky, William. - 2014 BASE Show details 18 Sexuated Topology and the Suspension of Meaning: A Non-Hermeneutical Phenomenological Approach to Textual Analysis Urban, William John. - 2014 BASE Show details 19 t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework Pardo, Pere; Godo, Lluis. - : Springer, 2013 BASE Show details 20 t-DeLP: An argumentation-based Temporal Defeasible Logic Programming framework Pardo, Pere; Godo, Lluis. - : Springer, 2013 BASE Show details Page: 1 2 3 4 5

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 26 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 1 MPI for Psycholinguistics 1 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 57 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0