DECLARATIVE DEBUGGING OF MISSING ANSWERS FOR MAUDE SPECIFICATIONS
- Riesco, Adrian
- Verdejo, Alberto
- Marti-Oliet, Narciso
- Lynch, C (coord.)
ISSN: 1868-8969
ISBN: 978-3-939897-18-7
Argitalpen urtea: 2010
Alea: 6
Orrialdeak: 277-294
Biltzarra: 21st International Conference on Rewriting Techniques and Applications (RTA) as part of the 5th International Federated Logic Conference (FLOC)
Mota: Biltzar ekarpena