Reasoning about Plural Entities in a Temporal Logic

Peter Øhrstrøm, Per F. V. Hasle.

Research output: Book/ReportReportResearch

Original languageDanish
Place of PublicationAAU, Aalborg
Number of pages7
Publication statusPublished - 2011
SeriesNatural and Formal Languages
Volume16

Cite this