6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
IV - APPLICATIONS
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 183-184
-
- Chapter
- Export citation
8 - Identity and Extensionality
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 124-138
-
- Chapter
- Export citation
9 - Maximality, Groundedness, and Closed World Inference
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 139-148
-
- Chapter
- Export citation
Index
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 263-270
-
- Chapter
- Export citation
Index of Symbols
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 259-262
-
- Chapter
- Export citation
6 - Appropriateness and Typing
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 77-108
-
- Chapter
- Export citation
14 - Definite Clause Programming
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 215-226
-
- Chapter
- Export citation
II - EXTENSIONS
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 71-72
-
- Chapter
- Export citation
Bibliography
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 245-258
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp i-iv
-
- Chapter
- Export citation
Contents
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp v-vi
-
- Chapter
- Export citation
7 - Inequations
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 109-123
-
- Chapter
- Export citation
2 - Types and Inheritance
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 11-32
-
- Chapter
- Export citation
15 - Recursive Type Constraints
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 227-244
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp vii-viii
-
- Chapter
- Export citation
10 - Variables and Assignments
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 151-159
-
- Chapter
- Export citation
11 - Feature Algebras
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 160-166
-
- Chapter
- Export citation
3 - Feature Structures
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 33-50
-
- Chapter
- Export citation
13 - Unification-Based Phrase Structure Grammars
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 185-214
-
- Chapter
- Export citation
I - BASICS
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 9-10
-
- Chapter
- Export citation