On the Axiomatizability of Impossible Futures: Preorder versus Equivalence

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA
Publisher	IEEE Computer Society
Pages	156-165
Publication status	Published - 2008

DBLP:conf/lics/ChenF08

Persistent URL (handle)

@inproceedings{faeee565914e45e299b67a5baa7c01f3,

title = "On the Axiomatizability of Impossible Futures: Preorder versus Equivalence",

author = "T. Chen and W.J. Fokkink",

note = "DBLP:conf/lics/ChenF08 ",

year = "2008",

language = "English",

pages = "156--165",

booktitle = "Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA",

publisher = "IEEE Computer Society",

}

On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. / Chen, T.; Fokkink, W.J.
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA. IEEE Computer Society, 2008. p. 156-165.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - On the Axiomatizability of Impossible Futures: Preorder versus Equivalence

AU - Chen, T.

AU - Fokkink, W.J.

N1 - DBLP:conf/lics/ChenF08

PY - 2008

Y1 - 2008

M3 - Conference contribution

SP - 156

EP - 165

BT - Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA

PB - IEEE Computer Society

ER -