Reasoning about Plural Entities in a Temporal Logic

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

Standard

Reasoning about Plural Entities in a Temporal Logic. / Øhrstrøm, Peter; Hasle., Per F. V.

AAU, Aalborg, 2011. 7 s. (Natural and Formal Languages, Bind 16).

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

Harvard

Øhrstrøm, P & Hasle., PFV 2011, Reasoning about Plural Entities in a Temporal Logic. Natural and Formal Languages, bind 16, AAU, Aalborg.

APA

Øhrstrøm, P., & Hasle., P. F. V. (2011). Reasoning about Plural Entities in a Temporal Logic. Natural and Formal Languages Bind 16

Vancouver

Øhrstrøm P, Hasle. PFV. Reasoning about Plural Entities in a Temporal Logic. AAU, Aalborg, 2011. 7 s. (Natural and Formal Languages, Bind 16).

Author

Øhrstrøm, Peter ; Hasle., Per F. V. / Reasoning about Plural Entities in a Temporal Logic. AAU, Aalborg, 2011. 7 s. (Natural and Formal Languages, Bind 16).

Bibtex

@book{360770ec8d284c88a35a6bfb7183cbc1,
title = "Reasoning about Plural Entities in a Temporal Logic",
author = "Peter {\O}hrstr{\o}m and Hasle., {Per F. V.}",
year = "2011",
language = "Dansk",
series = "Natural and Formal Languages",

}

RIS

TY - RPRT

T1 - Reasoning about Plural Entities in a Temporal Logic

AU - Øhrstrøm, Peter

AU - Hasle., Per F. V.

PY - 2011

Y1 - 2011

M3 - Rapport

T3 - Natural and Formal Languages

BT - Reasoning about Plural Entities in a Temporal Logic

CY - AAU, Aalborg

ER -

ID: 167126993