Approach to declarative programming based on a rewriting logic

  1. González-Moreno, J.C.
  2. Hortalá-González, M.T.
  3. López-Fraguas, F.J.
  4. Rodríguez-Artalejo, M.
Journal:
Journal of Logic Programming

ISSN: 0743-1066

Year of publication: 1999

Volume: 40

Issue: 1

Pages: 47-87

Type: Article

DOI: 10.1016/S0743-1066(98)10029-8 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus