You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: De Montfort University » Outputs » Detail

Output details

11 - Computer Science and Informatics

De Montfort University

Return to search Previous output Next output

Output 29 of 104 in the submission

Article title

Compositional reasoning using intervals and time reversal

Type

D - Journal article

DOI

10.1007/s10472-013-9356-8

Title of journal

Annals of Mathematics and Artificial Intelligence

Article number

Volume number

Issue number

First page of article

ISSN of journal

1573-7470

Year of publication

2013

URL

Number of additional authors

Additional information

<11> The earlier conference version of the paper (DOI:10.1109/TIME.2011.25) yielded invited seminars (Imperial College, Liverpool, Newcastle and Oxford Universities), a two-day invitation to Sheffield University, and helped launch a journal special issue. My insights developed further in another journal article (DOI:10.1016/j.ipl.2013.02.005).

Interdisciplinary

Cross-referral requested

Research group

D - Software Technology Research Laboratory (STRL)

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract