Orderings for innermost termination

  1. Fernández, M.-L.
  2. Godoy, G.
  3. Rubio, A.
Konferenzberichte:
Lecture Notes in Computer Science

ISSN: 0302-9743

Datum der Publikation: 2005

Ausgabe: 3467

Seiten: 17-31

Art: Konferenz-Beitrag

DOI: 10.1007/978-3-540-32033-3_3 GOOGLE SCHOLAR
Datenquelle: Scopus