2008-06-01
On the axiomatizability of impossible futures: preorder versus equivalence
Publication
Publication
Presented at the
IEEE Symposium on Logic in Computer Science
| Additional Metadata | |
|---|---|
| THEME | Software (theme 1) |
| Publisher | IEEE |
| Conference | IEEE Symposium on Logic in Computer Science |
| Citation |
Chen, T, & Fokkink, W.J. (2008). On the axiomatizability of impossible futures: preorder versus equivalence. In Proc. 23rd Symposium on Logic in Computer Science (pp. 156–165). IEEE.
|
