15690075
Results 1 to 1 of 1
Selection :
Proof search and proof check for equational and inductive theoremsDEPLAGNE, Eric; KIRCHNER, Claude; KIRCHNER, Hélène et al.Lecture notes in computer science. 2003, pp 297-316, issn 0302-9743, isbn 3-540-40559-3, 20 p.Conference Paper