• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (14)
    • Miscellaneous (3)
  • 
    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 Hits 1 – 17 of 17 1 Assembling Sessions Darondeau, Philippe; Hélouët, Loïc; Mukund, Madhavan In: ATVA 2011 : 9th International Symposium on Automated Technology for Verification and Analysis ; https://hal.inria.fr/hal-00650950 ; ATVA 2011 : 9th International Symposium on Automated Technology for Verification and Analysis, Oct 2011, Taipei, Taiwan. pp.259-274, ⟨10.1007/978-3-642-24372-1_19⟩ (2011) BASE Show details 2 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 3 An axiomatization of the Token Game based on Petri Algebras Guillou, Goulven; Chenou, Jules; Badouel, Eric In: ISSN: 0169-2968 ; Fundamenta Informaticae ; https://hal.univ-brest.fr/hal-01102917 ; Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2007, 77 (3), pp.187-215 (2007) BASE Show details 4 Modal specifications are a syntactic fragment of the Mu-calculus Feuillade, Guillaume In: https://hal.inria.fr/inria-00000139 ; [Research Report] PI 1729, 2005, pp.17 (2005) BASE Show details 5 Petri Algebras Badouel, Eric; Chenou, Jules; Guillou, Goulven In: https://hal.inria.fr/inria-00070648 ; [Research Report] RR-5355, INRIA. 2004, pp.28 (2004) BASE Show details 6 Endang7A XXX; S4; B7. - : The Language Archive, Max Planck Institute for Psycholinguistics BASE Show details 7 Endang3B XXX; S4; E3. - : The Language Archive, Max Planck Institute for Psycholinguistics BASE Show details 8 Endang8A XXX; S4; E3. - : The Language Archive, Max Planck Institute for Psycholinguistics BASE Show details 9 Endang1B S4; B7; E3. - : The Language Archive, Max Planck Institute for Psycholinguistics BASE Show details 10 Endang7B XXX; S4; B7. - : The Language Archive, Max Planck Institute for Psycholinguistics BASE Show details 11 Endang1A S4; B7; E3. - : The Language Archive, Max Planck Institute for Psycholinguistics BASE Show details 12 Endang7B XXX; S4; B7. - : The Language Archive, Max Planck Institute for Psycholinguistics BASE Show details 13 Endang7A XXX; S4; B7. - : The Language Archive, Max Planck Institute for Psycholinguistics BASE Show details 14 Endang3B XXX; S4; E3. - : The Language Archive, Max Planck Institute for Psycholinguistics BASE Show details 15 Endang8A XXX; S4; E3. - : The Language Archive, Max Planck Institute for Psycholinguistics BASE Show details 16 Endang1B S4; B7; E3. - : The Language Archive, Max Planck Institute for Psycholinguistics BASE Show details 17 Endang1A S4; B7; E3. - : The Language Archive, Max Planck Institute for Psycholinguistics BASE Show details

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