Searching for "The Calculus of Algebraic Constructions" – sorted by Relevance.
-
The Calculus of Algebraic Constructions
- ������ in the Calculus �-�� �of Algebraic ��� Constructions Frédéric Blanqui LORIA & INRIA 615 rue du Jardin Botanique
- Cited by 21 (9 self) – Add To MetaCart
-
The Calculus of Algebraic Constructions
- The Calculus of Algebraic Constructions Fr'ed'eric Blanqui y , Jean-Pierre Jouannaud y
- Add To MetaCart
-
Inductive Types in the Calculus of Algebraic Constructions
- in the Calculus of Algebraic Constructions Abstract. In a previous work, we proved that an important part
- Cited by 10 (4 self) – Add To MetaCart
-
The Calculus of Algebraic and Inductive Constructions
- Rapport de DEA - Paris, 18 Septembre 1998 The Calculus of Algebraic and Inductive Constructions Fr
- Cited by 1 (0 self) – Add To MetaCart
-
Definitions by Rewriting in the Calculus of Constructions
- ] or ELAN [15]. Outline of the paper. In Section 2, we introduce the Calculus of Algebraic Constructions
- Cited by 24 (5 self) – Add To MetaCart
-
Extensionality in the calculus of constructions
- Extensionality in the Calculus of Constructions Nicolas Oury Laboratoire de Recherche en
- Cited by 4 (0 self) – Add To MetaCart
-
Semantic optimization of OQL queries
- .2 Translation of calculus to algebraic constructs in Group A (figure 5.1) . . . . . . . . 89 5.3 Implementing
- Cited by 1 (0 self) – Add To MetaCart
-
Building decision procedures in the calculus of inductive constructions
- as rewrite rules, resulting in the Calculus of Algebraic Constructions [6]. Although conceptually quite
- Cited by 6 (1 self) – Add To MetaCart
-
Higher-order termination: From kruskal to computability
- of Inductive Constructions as a particular case under the name of Calculus of Algebraic Constructions [3
- Cited by 4 (2 self) – Add To MetaCart

