6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Index of concepts and identifiers
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 221-223
-
- Chapter
- Export citation
On the difference between updating a knowledge base and revising it
-
-
- Book:
- Belief Revision
- Published online:
- 21 September 2009
- Print publication:
- 21 May 1992, pp 183-203
-
- Chapter
- Export citation
0 - Introduction
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 1-11
-
- Chapter
- Export citation
On the logic of theory change: More maps between different kinds of contraction functions
-
-
- Book:
- Belief Revision
- Published online:
- 21 September 2009
- Print publication:
- 21 May 1992, pp 122-141
-
- Chapter
- Export citation
List of symbols
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp xiii-xiv
-
- Chapter
- Export citation
6 - Relational semantics
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 101-108
-
- Chapter
- Export citation
5 - Ramifications
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 87-100
-
- Chapter
- Export citation
15 - Predicative fairness
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 193-207
-
- Chapter
- Export citation
3 - Healthiness laws
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 58-65
-
- Chapter
- Export citation
Syntax based approaches to belief revision
-
-
- Book:
- Belief Revision
- Published online:
- 21 September 2009
- Print publication:
- 21 May 1992, pp 52-88
-
- Chapter
- Export citation
11 - Induction and semantic equality
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 149-159
-
- Chapter
- Export citation
8 - Syntactic criteria
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 116-129
-
- Chapter
- Export citation
9 - Operational semantics of recursion
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 130-142
-
- Chapter
- Export citation
7 - Determinacy and disjunctivity
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 109-115
-
- Chapter
- Export citation
Index
-
- Book:
- Belief Revision
- Published online:
- 21 September 2009
- Print publication:
- 21 May 1992, pp 276-278
-
- Chapter
- Export citation
Contents
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp v-x
-
- Chapter
- Export citation
1 - Weakest preconditions
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 12-31
-
- Chapter
- Export citation
16 - Solutions of exercises
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 208-216
-
- Chapter
- Export citation
Contents
-
- Book:
- Belief Revision
- Published online:
- 21 September 2009
- Print publication:
- 21 May 1992, pp v-vi
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805215/45648/cover/9780521545648.jpg)
Belief Revision
-
- Published online:
- 21 September 2009
- Print publication:
- 21 May 1992