Per Frederik Vilhelm Hasle

Per Frederik Vilhelm Hasle

Professor

Medlem af:

    ORCID: 0000-0002-2622-2547

    Udgivelsesår:
    Alle
    1 - 10 ud af 110Pr. side: 10
    Sortering: 1. forfatter

    1. The Idea of Branching Time

      Øhrstrøm, P. & Hasle, Per Frederik Vilhelm, 1993, Time and Cognition. Øhrstrøm, Peter (red.) (red.). Roskilde Universitetsforlag, s. 100-113 (Topics in Cognitive Science and HCI; Nr. 1).

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

    2. 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

    3. 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

    4. Udgivet

      Preface

      Øhrstrøm, P., Hasle, Per Frederik Vilhelm & Sandborg-Petersen, U., 1 okt. 2012, 2 s.

      Publikation: Andet › Andet bidrag › Forskning

    5. 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

    6. 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

    7. 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

    8. 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

    9. 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

    10. 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

    Forrige 1 2 3 4 5 6 7 8 ...11 Næste

    ID: 43863200