A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus

Dimitar Guelev, DV Hung

Research output: Contribution to journal › Article

5 Citations (Scopus)

Original language	English
Pages (from-to)	151-182
Number of pages	32
Journal	Journal of Applied Non-Classical Logics
Volume	14
Issue number	1-2
Publication status	Published - 1 Jan 2004

Cite this

@article{a30f0a81a3a6470ba22f4b277142741e,

title = "A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus",

author = "Dimitar Guelev and DV Hung",

year = "2004",

month = jan,

day = "1",

language = "English",

volume = "14",

pages = "151--182",

journal = "Journal of Applied Non-Classical Logics ",

issn = "1958-5780",

publisher = "Taylor & Francis",

number = "1-2",

}