Inductive proof search modulo
Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul BraunerVolume:
55
Langue:
english
Pages:
32
DOI:
10.1007/s10472-009-9154-5
Date:
February, 2009
Fichier:
PDF, 839 KB
english, 2009