Searching for "The Calculus of Algebraic Constructions" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
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
Showing 1 through 9.
