• 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...41 Hits 1 – 20 of 804 1 Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk) Boker, Udi. - : LIPIcs - Leibniz International Proceedings in Informatics. 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), 2022 BASE Show details 2 Formal Language Recognition by Hard Attention Transformers: Perspectives from Circuit Complexity ... Hao, Yiding; Angluin, Dana; Frank, Robert. - : arXiv, 2022 BASE Show details 3 Learning grammar with a divide-and-concur neural network ... Deyo, Sean; Elser, Veit. - : arXiv, 2022 BASE Show details 4 Ordering Regular Languages and Automata: Complexity ... D'Agostino, Giovanna; Martincigh, Davide; Policriti, Alberto. - : arXiv, 2022 BASE Show details 5 Between Deterministic and Nondeterministic Quantitative Automata (Invited Talk) ... Boker, Udi. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022 BASE Show details 6 Um método adaptativo para análise sintática do Português Brasileiro. ; An adaptive method for syntactic analysis of Brazilian Portuguese. Padovani, Djalma. - : Biblioteca Digital de Teses e Dissertações da USP, 2022. : Universidade de São Paulo, 2022. : Escola Politécnica, 2022 BASE Show details 7 Parametric updates in parametric timed automata André, Étienne; Lime, Didier; Ramparison, Mathias In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-03340905 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩ ; https://lmcs.episciences.org/7470 (2021) BASE Show details 8 Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation Bannour, Boutheina; Niol, Julien; Crisafulli, Paolo In: 2021 IEEE Intelligent Vehicles Symposium (IV) ; https://hal.archives-ouvertes.fr/hal-03540190 ; 2021 IEEE Intelligent Vehicles Symposium (IV), Jul 2021, Nagoya, Japan. pp.215-222, ⟨10.1109/IV48863.2021.9575528⟩ (2021) BASE Show details 9 "By the way, do you like Spider Man?" -Towards A Social Planning Model for Rapport Abulimiti, Alafate; Cassell, Justine; Ginzburg, Jonathan In: SemDial 2021 - 25th Workshop on the Semantics and Pragmatics of Dialogue ; https://hal.inria.fr/hal-03536332 ; SemDial 2021 - 25th Workshop on the Semantics and Pragmatics of Dialogue, Sep 2021, Potsdam / Virtual, Germany (2021) BASE Show details 10 Improving Automation for Higher-Order Proof Steps Defourné, Antoine In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021) BASE Show details 11 Identification et gestion des données personnelles dans les textes ; Identification et gestion des données personnelles dans les textes: modèle sémantique et applications Atanassova, Iana; Cardey-Greenfield, Sylviane; Madinier, Hélène... In: CiDE.22 : 22éme édition du Colloque International sur le Document Electronique Données Documents Connaissances : Perspectives de recherche et d’enseignement ; https://hal.archives-ouvertes.fr/hal-03506075 ; CiDE.22 : 22éme édition du Colloque International sur le Document Electronique Données Documents Connaissances : Perspectives de recherche et d’enseignement, Dec 2021, Paris, France (2021) BASE Show details 12 Data Papers et dissémination des données de la recherche : quelles pratiques en SHS ? Le Béchec, Mariannig; Atanassova, Iana In: Colloque DHNord2021 : Publier, partager, réutiliser les données de la recherche : les data papers et leurs enjeux ; https://hal.archives-ouvertes.fr/hal-03506077 ; Colloque DHNord2021 : Publier, partager, réutiliser les données de la recherche : les data papers et leurs enjeux, Nov 2021, virtuelle, France (2021) BASE Show details 13 A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ... Haberland, René. - : arXiv, 2021 BASE Show details 14 Polynomial Graph Parsing with Non-Structural Reentrancies ... Björklund, Johanna; Drewes, Frank; Jonsson, Anna. - : arXiv, 2021 BASE Show details 15 Efficiently Testing Simon’s Congruence ... Gawrychowski, Paweł; Kosche, Maria; Koß, Tore. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021 BASE Show details 16 The Edit Distance to k-Subsequence Universality ... Day, Joel D.; Fleischmann, Pamela; Kosche, Maria. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021 BASE Show details 17 Hunspell for Sorani Kurdish Spell Checking and Morphological Analysis ... Ahmadi, Sina. - : arXiv, 2021 BASE Show details 18 On (co-lex) Ordering Automata ... D'Agostino, Giovanna; Cotumaccio, Nicola; Policriti, Alberto. - : arXiv, 2021 BASE Show details 19 Absent Subsequences in Words ... Kosche, Maria; Koß, Tore; Manea, Florin. - : arXiv, 2021 BASE Show details 20 Ordering regular languages: a danger zone ... D'Agostino, Giovanna; Martincigh, Davide; Policriti, Alberto. - : arXiv, 2021 BASE Show details Page: 1 2 3 4 5...41

Mobile view All Catalogues UB Frankfurt Linguistik 80 IDS Mannheim 10 OLC Linguistik 6 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 1 Leibniz-Centre General Linguistics (ZAS) 1 Bibliographies BLLDB 256 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 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 510 Linguistik-Repository 1 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0