Login
|
New Account
AAAAAA
ITA
ENG
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
|