Semantische Optimierung rekursiver, insbesondere Δ-transformierter Logikprogramme

Wolfgang L. J. Kowarschick. Semantische Optimierung rekursiver, insbesondere Δ-transformierter Logikprogramme. PhD thesis, Technical University Munich, Germany, 1991. [doi]

Abstract

Abstract is missing.