• Refine your search:
  • 
    Keyword:
    
    • Formale Semantik (11)
    • formal semantics (6)
    • Einzelsprachliche Elemente (3)
    • [INFO.INFO-CL]Computer Science [cs] / Computation and Language [cs.CL] (3)
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (3)
    • Computational linguistics (2)
    • Deutsch (2)
    • Digital Humanities (2)
    • Englisch (2)
    • Formal Semantics (2)
    •   more
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2015 (24)
  • 
    Medium:
    
    • Online (13)
    • Print (11)
  • 
    Type:
    
    • Book (13)
    • Article (11)
  • 
    BLLDB-Access:
    • free (24)
    • subject to license (75)

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 Temporal interpretation and cross-linguistic variation : a formal semantic analysis of temporal and aspectual reference in Hausa and Medumba Mucha, Anne. - Potsdam, 2015 BLLDB UB Frankfurt Linguistik Show details 2 Quantifiers, quantifiers and quantifiers : themes in logic, metaphysics, and language Torza, Alessandro (Herausgeber). - London : Springer, 2015 BLLDB UB Frankfurt Linguistik Show details 3 Language and logics : an introduction to the logical foundations of language Gregory, Howard. - Edinburgh : Edinburgh University Press, 2015 BLLDB UB Frankfurt Linguistik Show details 4 Achievements, durativity and scales Gyarmathy, Zsófia. - Berlin : Logos-Verl., 2015 BLLDB UB Frankfurt Linguistik Show details 5 La sémantique et ses interfaces : actes du colloque 2013 de l'ASL, Association des Sciences du Langage Rabatel, Alain (Hrsg.); Léturgie, Arnaud (Hrsg.); Ferrara-Léturgie, Alice (Hrsg.). - Limoges : Lambert-Lucas, 2015 BLLDB UB Frankfurt Linguistik Show details 6 Jthread, a deadlock-free mutex library Grande, Johan; Boudol, Gérard; Serrano, Manuel In: Principles and Practice of Declarative Programming ; https://hal.inria.fr/hal-01246618 ; Principles and Practice of Declarative Programming, Jul 2015, Sienne, Italy. pp.12, ⟨10.1145/2790449.2790523⟩ ; http://costa.ls.fi.upm.es/ppdp15/ (2015) BASE Show details 7 The semantics of evaluativity Rett, Jessica. - Oxford [u.a.] : Oxford University Press, 2015 BLLDB UB Frankfurt Linguistik Show details 8 The semantics of free indirect discourse : how texts allow us to mind-read and eavesdrop Eckardt, Regine. - Leiden [u.a.] : Brill, 2015 BLLDB UB Frankfurt Linguistik Show details 9 A two-tiered theory of control Landau, Idan. - Cambridge, Mass. [u.a.] : The MIT Press, 2015 BLLDB UB Frankfurt Linguistik Show details 10 Proceedings of the Seventh Conference on Syntax, Phonology and Language Analysis - SinFonIJA VII Gergel, Remus (Hrsg.); Blümel, Andreas (Hrsg.). - Graz : Institut für Sprachwissenschaft der Universität Graz, 2015 BLLDB UB Frankfurt Linguistik Show details 11 The diachronic semantics of English "again" Beck, Sigrid; Gergel, Remus In: Natural language semantics. - Dordrecht : Springer 23 (2015) 3, 157-203 BLLDB Show details 12 Use-conditional meaning : studies in multidimensional semantics Gutzmann, Daniel. - 1. ed., 1. impr. - Oxford [u.a.] : Oxford Univ. Press, 2015 IDS Mannheim Show details 13 Representing Focus Scoping over New Rooth, Mats. - : GLSA, Amherst, MA, 2015 BASE Show details 14 Les trois dimensions d’une modélisation formelle de la langue : syntagmatique, paradigmatique et sémiotique Kahane, Sylvain In: ISSN: 1248-9433 ; EISSN: 1965-0906 ; Revue TAL ; https://halshs.archives-ouvertes.fr/halshs-01740584 ; Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2015, 56 (1), pp.39-63 (2015) BASE Show details 15 Symbolic execution based on language transformation Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-01186008 ; Computer Languages, Systems and Structures, Elsevier, 2015, pp.42. ⟨10.1016/j.cl.2015.08.004⟩ (2015) BASE Show details 16 High-level methodologies for grammar engineering. Introduction to the special issue Duchier, Denys; Parmentier, Yannick In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01153765 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2015, 3 (1), pp.5-19 ; http://jlm.ipipan.waw.pl (2015) BASE Show details 17 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 18 Interacting Hopf Algebras- the Theory of Linear Systems ; Interacting Hopf Algebras - la théorie des systèmes linéaires Zanasi, Fabio. - : HAL CCSD, 2015 In: https://tel.archives-ouvertes.fr/tel-01218015 ; Formal Languages and Automata Theory [cs.FL]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1020⟩ (2015) BASE Show details 19 Lambda-calculus and formal language theory Salvati, Sylvain. - : HAL CCSD, 2015 In: https://hal.archives-ouvertes.fr/tel-01253426 ; Computer Science [cs]. Université de Bordeaux, 2015 (2015) Abstract: Formal and symbolic approaches have offered computer science many application fields. The rich and fruitful connection between logic, automata and algebra is one such approach. It has been used to model natural languages as well as in program verification. In the mathematics of language it is able to model phenomena ranging from syntax to phonology while in verification it gives model checking algorithms to a wide family of programs. This thesis extends this approach to simply typed lambda-calculus by providing a natural extension of recognizability to programs that are representable by simply typed terms. This notion is then applied to both the mathematics of language and program verification. In the case of the mathematics of language, it is used to generalize parsing algorithms and to propose high-level methods to describe languages. Concerning program verification, it is used to describe methods for verifying the behavioral properties of higher-order programs. In both cases, the link that is drawn between finite state methods and denotational semantics provide the means to mix powerful tools coming from the two worlds. Keyword: [INFO]Computer Science [cs]; denotational semantics; formal language theory; lambda-calcul; Lambda-calculus; mathematics of language; mathématiques du langage; model checking; sémantique dénotationelle; théorie des langages formels; vérification URL: https://hal.archives-ouvertes.fr/tel-01253426 https://hal.archives-ouvertes.fr/tel-01253426/document https://hal.archives-ouvertes.fr/tel-01253426/file/hdr.pdf BASE Hide details 20 Antonymy In Space And Other Strictly Ordered Domains Rett, Jessica In: Baltic International Yearbook of Cognition, Logic and Communication (2015) BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 9 IDS Mannheim 1 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 10 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 13 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0