• 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 Hits 1 – 20 of 24 1 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 2 Resynchronizing Classes of Word Relations Descotte, María Emilia; Figueira, Diego; Puppis, Gabriele In: International Colloquium on Automata, Languages, and Programming (ICALP) ; https://hal.archives-ouvertes.fr/hal-01721046 ; International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018.123⟩ ; https://iuuk.mff.cuni.cz/~icalp2018/ (2018) BASE Show details 3 One-way definability of two-way word transducers Baschenis, Félix; Gauwin, Olivier; Muscholl, Anca... In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-02121085 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2018, 14 (4), ⟨10.23638/LMCS-14(4:22)2018⟩ ; https://lmcs.episciences.org/5021 (2018) BASE Show details 4 What Does This Notation Mean Anyway? ; What Does This Notation Mean Anyway?: MBNF-Style Notation as it is Actually Used Feller, David,; Wells, Joe B.,; Kamareddine, Fairouz... In: 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice ; https://hal.inria.fr/hal-01812800 ; 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom (2018) BASE Show details 5 Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms Néraud, Jean; Selmi, Carla In: Springer, LNCS. ; https://hal-normandie-univ.archives-ouvertes.fr/hal-02117030 ; Springer, LNCS., 2017, pp.214-227 (2017) BASE Show details 6 Préservation de la cohérence des transformations topologiques et géométriques Gauthier, Valentin; Bellet, Thomas; Belhaouari, Hakim... In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016) BASE Show details 7 Varieties of Cost Functions Daviaud, Laure; Kuperberg, Denis; Pin, Jean-Eric In: 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016 ; https://hal.archives-ouvertes.fr/hal-01614389 ; 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, Feb 2016, Orléans, France. pp.1-30, ⟨10.4230/LIPIcs.STACS.2016.30⟩ ; http://www.dagstuhl.de/dagpub/978-3-95977-001-9 (2016) BASE Show details 8 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 9 Adding modular predicates to first-order fragments Dartois, Luc; Paperman, Charles In: https://hal.archives-ouvertes.fr/hal-00934622 ; 2015 (2015) BASE Show details 10 Non-linear Second order Abstract Categorial Grammars and deletion Salvati, Sylvain In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015) BASE Show details 11 On languages of one-dimensional overlapping tiles Janin, David In: 39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) ; SOFSEM ; https://hal.archives-ouvertes.fr/hal-00659202 ; SOFSEM, Jan 2013, Špindlerův Mlýn, Czech Republic. pp.244-256, ⟨10.1007/978-3-642-35843-2_22⟩ (2013) BASE Show details 12 Regular languages and partial commutations Cano, Antonio; Guaiana, Giovanna; Pin, Jean-Eric In: ISSN: 0890-5401 ; EISSN: 1090-2651 ; Information and Computation ; https://hal.archives-ouvertes.fr/hal-01247172 ; Information and Computation, Elsevier, 2013, 230, pp.76-96. ⟨10.1016/j.ic.2013.07.003⟩ (2013) BASE Show details 13 Minimalist Grammars in the Light of Logic Salvati, Sylvain In: https://hal.inria.fr/inria-00563807 ; [Research Report] 2011, pp.39 (2011) BASE Show details 14 The Copying Power of Well-Nested Multiple Context-Free Grammars Makoto, Kanazawa; Salvati, Sylvain In: Language and Automata Theory and Applications ; https://hal.inria.fr/inria-00525077 ; Language and Automata Theory and Applications, 2010, Trier, Germany. pp.344-355, ⟨10.1007/978-3-642-13089-2_29⟩ ; http://www.springerlink.com/content/b8w7r53761614lk7/ (2010) BASE Show details 15 Modeling reducibility on ground terms using constraints Gnaedig, Isabelle; Kirchner, Hélène In: https://hal.inria.fr/inria-00387058 ; [Research Report] 2009, pp.9 (2009) BASE Show details 16 Efficient normalization by evaluation Boespflug, Mathieu In: 2009 Workshop on Normalization by Evaluation ; https://hal.inria.fr/inria-00434283 ; 2009 Workshop on Normalization by Evaluation, Olivier Danvy, Aug 2009, Los Angeles, United States ; http://www.brics.dk/~danvy/NBE09/informal-proceedings/ (2009) BASE Show details 17 Recognizability in the Simply Typed Lambda-Calculus Salvati, Sylvain In: 16th Workshop on Logic, Language, Information and Computation ; https://hal.inria.fr/inria-00412654 ; 16th Workshop on Logic, Language, Information and Computation, 2009, Tokyo, Japan (2009) BASE Show details 18 Growing a Domain Specific Language with Split Extensions Badouel, Eric; Tonga, Marcel In: https://hal.inria.fr/inria-00175805 ; [Research Report] RR-6314, INRIA. 2007 (2007) BASE Show details 19 Encoding second order string ACG with Deterministic Tree Walking Transducers. Salvati, Sylvain In: The 11th conference on Formal Grammar ; https://hal.inria.fr/inria-00333886 ; The 11th conference on Formal Grammar, Paola Monachesi; Gerald Penn; Giorgio Satta; Shuly Wintner, 2006, Malaga, Spain. pp.143-156 (2006) BASE Show details 20 Learning Recursive Automata from Positive Examples Tellier, Isabelle In: ISSN: 0992-499X ; EISSN: 1958-5748 ; Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle ; https://hal.inria.fr/inria-00470101 ; Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2006, New Methods in Machine Learning. Theory and Applications, 20 (6), pp.775-804. ⟨10.3166/ria.20.775-804⟩ (2006) BASE Show details Page: 1 2

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 24 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0