A Transformational Approach to Resource Analysis with Typed-norms Inference
- Albert, E.
- Genaim, S.
- Gutiérrez, R.
- Martin-Martin, E.
ISSN: 1475-3081, 1471-0684
Datum der Publikation: 2020
Ausgabe: 20
Nummer: 3
Seiten: 310-357
Art: Artikel
Zeitschrift:
Theory and Practice of Logic Programming
