15690947
Results 1 to 1 of 1
Selection :
Embedding of systems of affine recurrence equations in CoqCACHERA, David; PICHARDIE, David.Lecture notes in computer science. 2003, pp 155-170, issn 0302-9743, isbn 3-540-40664-6, 16 p.Conference Paper