• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2021 (1)
    • 2019 (1)
    • 2018 (2)
    • 2016 (1)
    • 2015 (3)
    • 2013 (2)
    • 2012 (4)
    • 2011 (7)
    • 2010 (3)
    • 2009 (2)
    •   more
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (45)
    • subject to license (0)

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 Hits 1 – 20 of 45 1 Multiple Wh-Movement is not Special: The Subregular Complexity of Persistent Features in Minimalist Grammars Graf, Thomas; Kostyszyn, Kalina In: Proceedings of the Society for Computation in Linguistics (2021) BASE Show details 2 Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates Voigt, Marco. - : Saarländische Universitäts- und Landesbibliothek, 2019 BASE Show details 3 Mobile System for Adaptive Qualified Measurement ; Système de Mesure Mobile Adaptif Qualifié Bourgeois, Florent. - : HAL CCSD, 2018 In: https://tel.archives-ouvertes.fr/tel-01889927 ; Modélisation et simulation. Université de Haute Alsace - Mulhouse, 2018. Français. ⟨NNT : 2018MULH8953⟩ (2018) BASE Show details 4 Definability and synthesis of transductions ; Définissabilité et synthèse de transductions Lhote, Nathan. - : HAL CCSD, 2018 In: https://tel.archives-ouvertes.fr/tel-01960958 ; Other [cs.OH]. Université de Bordeaux; Université libre de Bruxelles (1970-.), 2018. English. ⟨NNT : 2018BORD0185⟩ (2018) BASE Show details 5 First-order definability of rational transductions: An algebraic approach Filiot, Emmanuel; Gauwin, Olivier; Lhote, Nathan In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16) ; 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16) ; https://hal.archives-ouvertes.fr/hal-01308509 ; 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), Jul 2016, New York, United States. pp.387--396, ⟨10.1145/2933575.2934520⟩ ; http://lics.rwth-aachen.de/lics16/ (2016) BASE Show details 6 Adding modular predicates to first-order fragments Dartois, Luc; Paperman, Charles In: https://hal.archives-ouvertes.fr/hal-00934622 ; 2015 (2015) BASE Show details 7 Intensional Transitive Verbs as Cross-World Predicates Rebuschi, Manuel In: Semantics and Philosophy in Europe (SPE8) ; https://hal.archives-ouvertes.fr/hal-01232082 ; Semantics and Philosophy in Europe (SPE8), Sep 2015, Cambridge, United Kingdom ; http://itservices.newn.cam.ac.uk/spe8/index.html (2015) BASE Show details 8 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 9 Axiomatized Relationships between Ontologies Chui, Carmen. - 2013 BASE Show details 10 Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic Lefray, Arnaud; Rouzaud-Cornabas, Jonathan; Briffaut, Jérémy... In: https://hal.inria.fr/hal-00916882 ; [Research Report] RR-8420, INRIA. 2013, pp.30 (2013) BASE Show details 11 Schützenberger and Eilenberg theorems for words on linear orderings Bedon, Nicolas; Rispal, Chloé In: ISSN: 0022-0000 ; EISSN: 1090-2724 ; Journal of Computer and System Sciences ; https://hal.archives-ouvertes.fr/hal-00790098 ; Journal of Computer and System Sciences, Elsevier, 2012, 78 (2), pp.517-536. ⟨10.1016/j.jcss.2011.06.003⟩ (2012) BASE Show details 12 Semantics in Biproduct Dagger Categories: a quantum logic for natural language Preller, Anne In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00719198 ; RR-12017, 2012, pp.1-28 (2012) BASE Show details 13 From Sentence to Concept Preller, Anne In: Categorical Information Flow in Physics and Linguistics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00635866 ; E. Grefenstette, C. Heunen, and M. Sadrzadeh. Categorical Information Flow in Physics and Linguistics, Oxford University Press, pp.247--271, 2012 (2012) BASE Show details 14 Mémoire d'habilitation à diriger des recherches Madelaine, Florent. - : HAL CCSD, 2012 In: https://tel.archives-ouvertes.fr/tel-01096078 ; Logic in Computer Science [cs.LO]. Université Blaise Pascal (Clermont-Ferrand 2), 2012 (2012) BASE Show details 15 First-order Fragments with Successor over Infinite Words Kallas, Jakub; Kufleitner, Manfred; Lauser, Alexander In: Leibniz International Proceedings in Informatics (LIPIcs) series ; Symposium on Theoretical Aspects of Computer Science (STACS2011) ; https://hal.archives-ouvertes.fr/hal-00573643 ; Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.356-367 (2011) BASE Show details 16 From Sentence to Concept, a Linguistic Quantum Logic Preller, Anne In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00600428 ; RR-11019, 2011 (2011) BASE Show details 17 A general theory of formality Beck, Andrew Edward. - : eScholarship, University of California, 2011 In: Beck, Andrew Edward. (2011). A general theory of formality. UC San Diego: Retrieved from: http://www.escholarship.org/uc/item/5t70z373 (2011) BASE Show details 18 A general theory of formality Beck, Andrew Edward. - : eScholarship, University of California, 2011 BASE Show details 19 First-order Fragments with Successor over Infinite Words Kallas, Jakub; Kufleitner, Manfred; Lauser, Alexander. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. : LIPIcs - Leibniz International Proceedings in Informatics. 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011), 2011 BASE Show details 20 Around dot-depth one ... Kufleitner, Manfred; Lauser, Alexander. - : Universität Stuttgart, 2011 BASE Show details Page: 1 2 3

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 0 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 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 45 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0