Synthesis of max-plus quasi-interpretations

Article Dans Une Revue Fundamenta Informaticae Année : 2005

(1)

1

Roberto Amadio

Logique en informatique [cs.LO]

https://hal.science/hal-00146968

Soumis le : mardi 15 mai 2007-15:46:30

Dernière modification le : jeudi 31 août 2023-12:14:35

hal-00146968 , version 1 (15-05-2007)

Roberto Amadio. Synthesis of max-plus quasi-interpretations. Fundamenta Informaticae, 2005, 65 (1-2), pp.29-60. ⟨hal-00146968⟩

LIF CNRS UNIV-AMU LIS-LAB

23 Consultations

0 Téléchargements