Chapitre D'ouvrage
Année : 1992
Irene Guessarian : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00020725
Soumis le : mardi 14 mars 2006-17:02:47
Dernière modification le : vendredi 24 mars 2023-14:52:47
Dates et versions
Identifiants
- HAL Id : hal-00020725 , version 1
Citer
Irene Guessarian. Many sorted logics and algebraic semantics. K Meinke J Tucker. Many sorted logics and its applications, John Wiley, pp.123-134, 1992. ⟨hal-00020725⟩
Collections
29
Consultations
0
Téléchargements