The Logic of Choice
Cached
Download Links
- [research.microsoft.com]
- [research.microsoft.com]
- DBLP
Other Repositories/Bibliography
by
Andreas Blass
,
Yuri Gurevich
| Citations: | 15 - 2 self |
BibTeX
@MISC{Blass_thelogic,
author = {Andreas Blass and Yuri Gurevich},
title = {The Logic of Choice},
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The choice construct (choose x : '(x)) is useful in software specifications. We study
