Sciweavers

EUROCAST
2001
Springer

Verifying an Applicative ATP Using Multiset Relations

14 years 5 months ago
Verifying an Applicative ATP Using Multiset Relations
Francisco-Jesús Martín-Mateos, Jos&e
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where EUROCAST
Authors Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina
Comments (0)