AAAAAA

   
Results: 1-2 |
Results: 2
Automata-driven automated induction
Authors: Bouhoula, A Jouannaud, JP
Citation: A. Bouhoula et Jp. Jouannaud, Automata-driven automated induction, INF COMPUT, 169(1), 2001, pp. 1-22
Specification and proof in membership equational logic
Authors: Bouhoula, A Jouannaud, JP Meseguer, J
Citation: A. Bouhoula et al., Specification and proof in membership equational logic, THEOR COMP, 236(1-2), 2000, pp. 35-132
Risultati: 1-2 |