Communication Dans Un Congrès Année : 2004

Expressing Iterative Properties Logically in a Symbolic Setting

Lionel Morel
Carron Shankland
  • Fonction : Auteur
Jeremy Bryans
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-00293252 , version 1 (04-07-2008)

Identifiants

Citer

Lionel Morel, Carron Shankland, Jeremy Bryans. Expressing Iterative Properties Logically in a Symbolic Setting. International Conference on Algebraic Methodology and Software Technology (AMAST'04), 2004, United Kingdom. pp.460-474, ⟨10.1007/b98770⟩. ⟨hal-00293252⟩
75 Consultations
0 Téléchargements

Altmetric

Partager

  • More