• Nenhum resultado encontrado

[PENDING] Structures et modèles de calculs de réécriture Germain Faure

N/A
N/A
Info
Descarregar agora
Protected

Academic year: 2024

Share "Structures et modèles de calculs de réécriture Germain Faure"

Copied!
233
0
0

Carregando.... (Ver texto completo agora)

Descarregar agora ( 233 páginas )

Texto

Imagem

Fig. 1.1: R´eduction parall`ele dans le λ-calcul
Fig. 1.3: Cr´eation de radicaux dans le λ-calcul
Fig. 1.4: R´eduction parall`ele forte dans le λ-calcul
Fig. 3.1: R`egles pour le filtrage d’ordre sup´erieur modulo super-d´eveloppements
+7

Referências

Descarregar agora ( PDF - 233 páginas - 1.71 MB )

Documentos relacionados