• Refine your search:
  • 
    Keyword:
    
    • Formale Semantik (2)
    • categorial type logics (2)
    • Computationelle Semantik (1)
    • Computerlinguistik (1)
    • Diskursrepräsentationstheorie (1)
    • Dynamische Semantik (1)
    • Epistemische Logik (1)
    • Galois connections (1)
    • Inferenz (Künstliche Intelligenz) (1)
    • Kategoriale Grammatik (1)
    •   more
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2011 (1)
    • 2004 (2)
    • 2003 (1)
    • 2001 (1)
    • 2000 (1)
    • 1998 (1)
  • 
    Medium:
    
    • Print (5)
    • Online (2)
  • 
    Type
  • 
    BLLDB-Access:
    • free (7)
    • subject to license (0)

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 – 7 of 7 1 Resolution with Order and Selection for Hybrid Logics Areces, Carlos; Gorín, Daniel In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 46 (2011) 1, 1-42 OLC Linguistik Show details 2 Analyzing the Core of Categorial Grammar Areces, Carlos; Bernardi, Raffaella In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 13 (2004) 2, 121-138 OLC Linguistik Show details 3 Computational semantics Kohlhase, Michael (Hrsg.); Blackburn, Patrick (Mitarb.); Areces, Carlos (Mitarb.)... In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 13 (2004) 2, 117-240 BLLDB Show details 4 In Situ Binding: A Hybrid Approach Areces, Carlos; Bernardi, Raffaella In: Inference in Computational Semantics 4 - ICoS -4 ; https://hal.inria.fr/inria-00000325 ; Inference in Computational Semantics 4 - ICoS -4, 2003, Nancy, France (2003) BASE Show details 5 Analyzing the Core of Categorial Grammar Areces, Carlos; Bernardi, Raffaella In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; Proceedings of ICoS-3 ; https://hal.inria.fr/inria-00000292 ; Journal of Logic, Language and Information, Springer Verlag, 2001, Journal of Logic, Language and Information, 13 (2), pp.121--137. ⟨10.1023/B:JLLI.0000024730.34743.fa⟩ (2001) BASE Show details 6 Logic, language and computation ; 3 Lambalgen, Michiel van (Mitarb.); Gibbon, Greg (Mitarb.); Mulhauser, Gregory R. (Mitarb.). - Stanford, Calif. : Stanford Univ., Center for the Study of Language and Information, 2000 BLLDB UB Frankfurt Linguistik Show details 7 Failure of Interpolation in Combined Modal Logics Marx, Maarten; Areces, Carlos In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 39 (1998) 2, 253-273 OLC Linguistik Show details

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