• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Androutsopoulos, Ion (2)
    • Goldblatt, Robert (2)
    • Øhrstrøm, Peter (2)
    • Benthem, Johan van (1)
    • Bettetini, Gianfranco (1)
    • Braüner, Torben (1)
    • Copeland, Brian Jack (1)
    • Dardis, Anthony (1)
    • David, Marian A. (1)
    • Finkbeiner, Bernd (1)
    •   more
  • 
    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 Hits 1 – 14 of 14 1 Causality-based verification Kupriyanov, Andrey. - 2016 BASE Show details 2 Temporal Logic and State Systems Kröger, Fred; Merz, Stephan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 UB Frankfurt Linguistik Show details 3 Papers on time and tense Copeland, Brian Jack (Hrsg.); Hasle, Per (Hrsg.); Øhrstrøm, Peter (Hrsg.). - Oxford [u.a.] : Oxford Univ. Press, 2003 BLLDB UB Frankfurt Linguistik Show details 4 Metaphysics, philosophy of language Yagisawa, Takashi (Mitarb.); Materna, Pavel (Mitarb.); David, Marian A. (Mitarb.). - Dettelbach : Röll, 2003 BLLDB UB Frankfurt Linguistik Show details 5 Exploring time, tense, and aspect in natural language database interfaces Androutsopoulos, Ion. - Amsterdam [u.a.] : J. Benjamins Pub., 2002 UB Frankfurt Linguistik Show details 6 Exploring time, tense and aspect in natural language database interfaces Androutsopoulos, Ion. - Amsterdam [u.a.] : Benjamins, 2002 BLLDB UB Frankfurt Linguistik Show details 7 Tempo del senso : la logica temporale dei testi audiovisivi Bettetini, Gianfranco. - Milano : Bompiani, 2000 BLLDB UB Frankfurt Linguistik Show details 8 Temporal logic : from ancient ideas to artificial intelligence Öhrström, Peter. - Dordrecht [u.a.] : Kluwer, 1995 Leibniz-Zentrum Allgemeine Sprachwissenschaft Show details 9 Temporal logic : from ancient ideas to artificial intelligence Øhrstrøm, Peter; Hasle, Per F. V.. - Dordrecht [u.a.] : Kluwer, 1995 IDS Mannheim Show details 10 Logics of time and computation Goldblatt, Robert. - Stanford, Calif. : CSLI, 1992 UB Frankfurt Linguistik Show details 11 The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse Benthem, Johan van. - 2. ed. - Dordrecht [u.a.] : Kluwer, 1991 IDS Mannheim Show details 12 Logics of time and computation Goldblatt, Robert. - Stanford, CA : CSLI, 1987 BLLDB UB Frankfurt Linguistik Show details 13 Logiceskie teorii vremennych kontekstov (Vremennaja logika) Ismuratov, A. T.. - Kiev : Naukova dumka, 1981 Leibniz-Zentrum Allgemeine Sprachwissenschaft Show details 14 Temporal logic Rescher, Nicholas; Urquhart, Alasdair. - Wien [u.a.] : Springer, 1971 IDS Mannheim Show details

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