Forskningsområder

Find indenfor forskningsområde:

406311 - 406320 ud af 407.916Pr. side: 10
Sortering: 1. forfatter

  1. Determinism and the Origins of Temporal Logic

    Øhrstrøm, P., Braüner, T. & Hasle, Per Frederik Vilhelm, 2000, Advances in Temporal Logic. Barring, H. ...[et al.] (eds.) (red.).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  2. Reasoning about Plural Entities in a Temporal Logic

    Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2011, AAU, Aalborg. 7 s. (Natural and Formal Languages, Bind 16).

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  3. Logical Models of Causal and Temporal reasoning

    Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Pedersen, S. A., 1992, Simulations, Evaluations and Models: MOHAWC: Esprit Basic Research Action 3105. Risø National Laboratory, Roskilde, 19 s.

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  4. Modern Temporal Logic: The Philosophical Background

    Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2006, Handbook of the History of Logic. Gabbay, D. M. & Woods, J. (red.). Pergamon Press, Bind 7. s. 447-498

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  5. A.N. Prior's Logic

    Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2006, The Handbook of the History of Logic. Gabbay, D. M. & Woods, J. (red.). Pergamon Press, Bind 7. s. 399-446

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  6. The Flow of Time into Logic: and Computer Science

    Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2004, Bulletin of the European Association for Theoretical Computer Science. s. 191-226 (EATCS; Nr. 82).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  7. Time in Philosophical Logic

    Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 2008, Temporal Database Entries for the Springer Encyclopedia of Database Systems. Jensen, C. S. & Snodgrass, R. T. (red.). Aalborg: Time Center: http://www.cs.aau.dk/TimeCenter, s. 287-292 6 s. (TimeCenter Technical Report).

    Publikation: Bidrag til bog/antologi/rapport › Encyclopædiartikel › Forskning

  8. Udgivet

    Arthur Prior: Logic

    Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Jakobsen, D., 2018, I: Internet Encyclopedia of Philosophy.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  9. E-pub ahead of print

    Time and knowledge: Some reflections on Prior’s analysis of the paradox of the prisoner

    Øhrstrøm, P., Gram-Hansen, L. & Sandborg-Petersen, U., 7 jun. 2011, (E-pub ahead of print) I: Synthese. 181

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  10. Udgivet

    Tourism, nature and sustainability: A review of policy instruments in the Nordic countries

    Øian, H., Fredman, P., Sandell, K., Sæþórsdóttir, A. D., Tyrväinen, L. & Jensen, Frank Søndergaard, 2018, 1 udg. København: Nordisk Ministerraad. 102 s. (TemaNord, Bind 534).

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning › fagfællebedømt

Forrige 1...40628 40629 40630 40631 40632 40633 40634 40635 ...40792 Næste