Вы здесь

Главная

частичные вычисления

Связанные издания:

Logic-Based Program Synthesis and Transformation: Revised Selected Papers/20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 2010
Mixed Computation in Novosibirsk
Partial Evaluation and Mixed Computation: Proc./IFIP TC 2 Workshop on Partial Evaluation and Mixed Computation, Gammel, Denmark, October 1987