PhD thesis,

Normalization and Partial Evaluation of Functional Logic Programs.

.
University of Kiel, Germany, (2017)

Meta data

Tags

Users

  • @dblp

Comments and Reviews