• Refine your search:
  • 
    Keyword:
    
    • FOS Computer and information sciences (102)
    • Formal Languages and Automata Theory cs.FL (102)
    • [INFO.INFO-FL]Computer Science [cs] / Formal Languages and Automata Theory [cs.FL] (89)
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (52)
    • [INFO.INFO-CL]Computer Science [cs] / Computation and Language [cs.CL] (41)
    • Formal languages (39)
    • formal languages (24)
    • [INFO.INFO-AI]Computer Science [cs] / Artificial Intelligence [cs.AI] (23)
    • ACM: F.: Theory of Computation / F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES / F.4.1: Mathematical Logic / F.4.1.2: Lambda calculus and related systems (22)
    • Languages (21)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (453)
    • subject to license (6)

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 6...23 Hits 21 – 40 of 453 21 Hunspell for Sorani Kurdish Spell Checking and Morphological Analysis ... Ahmadi, Sina. - : arXiv, 2021 BASE Show details 22 On (co-lex) Ordering Automata ... D'Agostino, Giovanna; Cotumaccio, Nicola; Policriti, Alberto. - : arXiv, 2021 BASE Show details 23 Absent Subsequences in Words ... Kosche, Maria; Koß, Tore; Manea, Florin. - : arXiv, 2021 BASE Show details 24 Ordering regular languages: a danger zone ... D'Agostino, Giovanna; Martincigh, Davide; Policriti, Alberto. - : arXiv, 2021 BASE Show details 25 An algorithm to verify local threshold testability of deterministic finite automata ... Trahtman, A. N.. - : arXiv, 2021 BASE Show details 26 Complex Event Forecasting with Prediction Suffix Trees: Extended Technical Report ... Alevizos, Elias; Artikis, Alexander; Paliouras, Georgios. - : arXiv, 2021 BASE Show details 27 Lambek pregroups are Frobenius spiders in preorders ... Pavlovic, Dusko. - : arXiv, 2021 BASE Show details 28 Nondeterministic State Complexity of Site-Directed Operations Lyon, Oliver. - 2021 BASE Show details 29 Learning Interactions of Local and Non-Local Phonotactic Constraints from Positive Input De Santo, Aniello; Aksënova, Alëna In: Proceedings of the Society for Computation in Linguistics (2021) BASE Show details 30 A framework of controlled robot language for reliable human-robot collaboration Tran, Dang M.; Yan, Fujian; Yihun, Yimesker S.. - : Springer, Cham, 2021 BASE Show details 31 Advances in formal Slavic linguistics 2017 [<Journal>] Marušič, Franc <1974->; Mišmaš, Petra; Žaucer, Rok. - Berlin : Freie Universität Berlin Leibniz-Zentrum Allgemeine Sprachwissenschaft Show details 32 Terminology and ontology for cultural heritage : application to chinese ceramic vessels ; Terminologie et ontologie pour l'héritage culturel : application aux vases céramiques chinois Wei, Tong. - : HAL CCSD, 2020 In: https://tel.archives-ouvertes.fr/tel-03167916 ; Formal Languages and Automata Theory [cs.FL]. Université Grenoble Alpes [2020-.], 2020. English. &#x27E8;NNT : 2020GRALM061&#x27E9; (2020) BASE Show details 33 A Language Agnostic Approach to Modeling Requirements: Specification and Verification Alidra, Abdelghani; Beugnard, Antoine; Godfroy, Hubert... In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. &#x27E8;10.1145/3417990.3419224&#x27E9; (2020) BASE Show details 34 HOπ in Coq Ambal, Guillaume; Lenglet, Sergueï; Schmitt, Alan In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-02536463 ; Journal of Automated Reasoning, Springer Verlag, 2020, &#x27E8;10.1007/s10817-020-09553-0&#x27E9; (2020) BASE Show details 35 Proof-theoretic aspects of NLλ Moot, Richard In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020) BASE Show details 36 Concevoir un dispositif innovant pour professionaliser la formation au référencement web: le projet SEO-ELP DOMENGET, Jean-Claude; Sagot, Sylvain; Atanassova, Iana In: ACFAS ; https://hal.archives-ouvertes.fr/hal-03506079 ; ACFAS, 2020, Sherbrooke, Canada (2020) BASE Show details 37 A type theoretic approach to weak w-categories and related higher structures ; Catégories faibles et structures supérieures afférentes en théorie des types Benjamin, Thibaut. - : HAL CCSD, 2020 In: https://tel.archives-ouvertes.fr/tel-03106197 ; Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2020. English. &#x27E8;NNT : 2020IPPAX077&#x27E9; (2020) BASE Show details 38 Single-Use Automata and Transducers for Infinite Alphabets ... Bojańczyk, Mikołaj; Stefański, Rafał. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020 BASE Show details 39 Stable variation in multidimensional competition ... Kauhanen, Henri. - : arXiv, 2020 BASE Show details 40 Connecting Weighted Automata, Tensor Networks and Recurrent Neural Networks through Spectral Learning ... Li, Tianyu; Precup, Doina; Rabusseau, Guillaume. - : arXiv, 2020 BASE Show details Page: 1 2 3 4 5 6...23

Mobile view All Catalogues UB Frankfurt Linguistik 5 IDS Mannheim 0 OLC Linguistik 5 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 1 Bibliographies BLLDB 16 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 11 Linked Open Data catalogues Annohub 0 Online resources Link directory 1 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 422 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0