DECLARATIVE DEBUGGING OF MISSING ANSWERS FOR MAUDE SPECIFICATIONS

  1. Riesco, Adrian
  2. Verdejo, Alberto
  3. Marti-Oliet, Narciso
Colección de libros:
PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10)
  1. Lynch, C (coord.)

ISSN: 1868-8969

ISBN: 978-3-939897-18-7

Año de publicación: 2010

Volumen: 6

Páginas: 277-294

Congreso: 21st International Conference on Rewriting Techniques and Applications (RTA) as part of the 5th International Federated Logic Conference (FLOC)

Tipo: Aportación congreso

DOI: 10.4230/LIPICS.RTA.2010.277 GOOGLE SCHOLAR
Fuente de los datos: WoS