Andreas Blass Math. Dept. University of Michigan Ann Arbor, MI 48109-1109...  Home/Search
Context
Related
| microsoft.com/~gurevich/Opera...135.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: microsoft.com/~gurevi...annotated (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The choice construct (choose x : '(x)) is useful in software specifications. (Update)
Similar documents (at the sentence level):
63.8%: Fixed-Choice and Independent-Choice Logics - Blass, Gurevich (1998) (Correct)
Active bibliography (related documents): More All
0.3: Invariants of Automatic Presentations and - Semi-Synchronous Transductions.. (Correct)
0.3: Making Nondeterminism Explicit in Z - Mirian-HosseinAbadi, Mousavi (Correct)
0.2: A Sound and Complete SOS-Semantics for Non-Distributed.. - Tonino (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@article{ blass00logic,
author = "Andreas Blass and Yuri Gurevich",
title = "The Logic of Choice",
journal = "Journal of Symbolic Logic",
volume = "65",
number = "3",
pages = "1264--1310",
year = "2000",
url = "citeseer.ist.psu.edu/754573.html" }
Citations (may not include all citations):4212 Computers and intractability: a guide to the theory of NP co.. (context) - Johnson, Garey et al. - 1979
294 Finite Model Theory (context) - Flum, Jorg - 1995
210 Generalized first-order spectra and polynomial time recogniz.. (context) - Fagin - 1974
149 Logic and the challenge of computer science (context) - Gurevich - 1988
120 Elementary Induction on Abstract Structures (context) - Yiannis, Moschovakis - 1974
51 Descriptive Set Theory (context) - Yiannis, Moschovakis - 1980
42 Non-Deterministic Languages to Express Deterministic Transfo.. (context) - Simon, Abiteboul et al. - 1990
32 Many-valued Logics (context) - Rescher - 1969
30 Grundlagen der Mathematik (context) - Bernays, Paul - 1939
29 Impossibility of an algorithm for the decision problem on fi.. (context) - Boris, Trakhtenbrot - 1950
23 Nondeterminism in logic-based languages (context) - Vianu, Victor - 1991
15 Specification and Validation Methods (context) - editor
12 Evolving Algebra 1993: Lipari Guide (context) - Gurevich - 1993
8 Mathematical Logic and Hilbert's (context) - Leisenring - 1969
5 Typed Abstract State Machines (context) - Castillo, Stroetmann et al. - 1998
3 Epsilon-Logic is More Expressive than First-Order Logic over.. - Otto - 1998
3 Nondeterministic Three-Valued Logic: Isotonic and Guarded Tr.. (context) - Wirsing, Martin - 1983
2 Hilbert's (context) - Caicedo - 1995
2 The Classical Decision Problem (context) - Site, Web et al. - 1996
2 Raymond Greenlaw (context) - Hoover - 1995
Documents on the same site (http://research.microsoft.com/~gurevich/annotated.html): More
UsingAbstra Star Ma hinesa Microsoft: ACa Study.. - Yuri Gurevich Wolfram (Correct)
Spectra of Monadic Second-Order Formulas with One Unary Function - Gurevich, Shelah (2003) (Correct)
The Results - One Of The (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC