6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
![](https://assets.cambridge.org/97805210/22545/cover/9780521022545.jpg)
The Logic of Typed Feature Structures
- With Applications to Unification Grammars, Logic Programs and Constraint Resolution
-
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992
III - ALTERNATIVES
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 149-150
-
- Chapter
- Export citation
4 - Attribute-Value Descriptions and Satisfaction
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 51-70
-
- Chapter
- Export citation
12 - Infinite Feature Structures and Domains
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 167-182
-
- Chapter
- Export citation
5 - Acyclic Feature Structures
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 73-76
-
- Chapter
- Export citation
14 - Temporal operators
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 180-192
-
- Chapter
- Export citation
Belief revision: An introduction
-
-
- Book:
- Belief Revision
- Published online:
- 21 September 2009
- Print publication:
- 21 May 1992, pp 1-28
-
- Chapter
- Export citation
Preface
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp xi-xii
-
- Chapter
- Export citation
10 - Procedure substitutions
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 143-148
-
- Chapter
- Export citation
A dyadic representation of belief
-
-
- Book:
- Belief Revision
- Published online:
- 21 September 2009
- Print publication:
- 21 May 1992, pp 89-121
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805214/04365/cover/9780521404365.gif)
Programs, Recursion and Unbounded Choice
-
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992
Frontmatter
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp i-iv
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Belief Revision
- Published online:
- 21 September 2009
- Print publication:
- 21 May 1992, pp i-iv
-
- Chapter
- Export citation
Belief change and possibility theory
-
-
- Book:
- Belief Revision
- Published online:
- 21 September 2009
- Print publication:
- 21 May 1992, pp 142-182
-
- Chapter
- Export citation
12 - Induction and refinement
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 160-166
-
- Chapter
- Export citation
References
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 217-220
-
- Chapter
- Export citation
4 - Semantics of recursion
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 66-86
-
- Chapter
- Export citation
Conditionals and knowledge-base update
-
-
- Book:
- Belief Revision
- Published online:
- 21 September 2009
- Print publication:
- 21 May 1992, pp 247-275
-
- Chapter
- Export citation
Autonomous belief revision and communication
-
-
- Book:
- Belief Revision
- Published online:
- 21 September 2009
- Print publication:
- 21 May 1992, pp 220-246
-
- Chapter
- Export citation
13 - The strong preorder
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 167-179
-
- Chapter
- Export citation