A proof theoretic approach to failure in functional logic programming

  1. López-fraguas, F.J.
  2. Sánchez-Hernández, J.
Zeitschrift:
Theory and Practice of Logic Programming

ISSN: 1471-0684

Datum der Publikation: 2004

Ausgabe: 4

Nummer: 1-2

Seiten: 41-74

Art: Artikel

GOOGLE SCHOLAR
Datenquelle: Scopus