DECLARATIVE DEBUGGING OF MISSING ANSWERS FOR MAUDE SPECIFICATIONS

  1. Riesco, Adrian
  2. Verdejo, Alberto
  3. Marti-Oliet, Narciso
Büchersammlung:
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

Datum der Publikation: 2010

Ausgabe: 6

Seiten: 277-294

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

Art: Konferenz-Beitrag

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