• Refine your search:
  • 
    Keyword:
    
    • Sprachlogik (6)
    • Modale Logik (4)
    • Intuitionistische Logik (3)
    • CLEF (2)
    • Englisch (2)
    • Formale Semantik (2)
    • Grammatiktypen (Computerlinguistik) (2)
    • Kongresse / Workshops (2)
    • Programmiersprache (2)
    • QACLEF (2)
    •   more
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2012 (1)
    • 2011 (1)
    • 2010 (1)
    • 2009 (2)
    • 2006 (2)
    • 2005 (1)
    • 2004 (1)
    • 1999 (4)
    • 1998 (1)
    • 1997 (6)
    •   more
  • 
    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 21 – 29 of 29 21 Editors' Introduction Blackburn, Patrick; Rijke, Maarten de In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 37 (1996) 2, 161-166 OLC Linguistik Show details 22 Logic, language and computation Seligman, Jerry (Hrsg.); Westerståhl, Dag (Hrsg.); Aczel, Peter (Mitarb.). - Stanford, Calif. : Center for the Study of Language and Information, 1996 BLLDB Show details 23 Modal logic and process algebra : a bisimulation perspective Jongh, Dick de (Mitarb.); Hodkinson, Ian (Mitarb.); Goldblatt, Robert (Mitarb.). - Stanford, Calif. : Center for the Study of Language and Information, 1995 BLLDB UB Frankfurt Linguistik Show details 24 A proof system for finite trees Blackburn, Patrick; Meyer-Viol, Wilfried; Rijke, Maarten de. - Saarbrücken : Univ. des Saarlandes, Computerlinguistik, 1995 UB Frankfurt Linguistik Show details 25 Why combine logics? Blackburn, Patrick; Rijke, Maarten de. - Saarbrücken : Univ. des Saarlandes, Computerlinguistik, 1995 UB Frankfurt Linguistik Show details 26 Relational methods in logic, language and information Blackburn, Patrick; Rijke, Maarten de; Vennema, Yde. - Saarbrücken : Univ. des Saarlandes, Computerlinguistik, 1995 UB Frankfurt Linguistik Show details 27 Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras Rijke, Maarten de; Venema, Yde In: Studia logica. - Dordrecht : Springer Science + Business Media 54 (1995) 1, 61-78 BLLDB Show details 28 Zooming in, zooming out Blackburn, Patrick; Rijke, Maarten de. - Saarbrücken : Univ. des Saarlandes, Computerlinguistik, 1994 UB Frankfurt Linguistik Show details 29 The algebra of modal logic Blackburn, Patrick; Rijke, Maarten de; Venema, Yde. - Saarbrücken : Univ. des Saarlandes, Computerlinguistik, 1994 UB Frankfurt Linguistik Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 8 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) 0 Bibliographies BLLDB 12 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 4 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 5 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0