( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Engineering Academic Software (Dagstuhl Perspectives Workshop 16252).

, , , , , , , , , , , , , , , , , , , , , , , , и . Dagstuhl Manifestos, 6 (1): 1-20 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Claude Louis

Claude Haan

Claude Muller

Claude Imobersteg

Claude Krier

 

Другие публикации лиц с тем же именем

AC-Unification Race: The System Solving Approach, Implementation and Benchmarks., и . J. Symb. Comput., 14 (1): 51-70 (1992)Higher Order Unification via Explicit Substitutions., , и . Inf. Comput., 157 (1-2): 183-235 (2000)Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112), , , , и . Dagstuhl Manifestos, 4 (1): 1--27 (2014)Implementations of Term Rewriting Systems., , и . Comput. J., 34 (1): 20-33 (1991)Computing Unification Algorithms. LICS, стр. 206-216. IEEE Computer Society, (1986)Implementing Parallel Rewriting., и . Dagstuhl Seminar on Parallelization in Inference Systems, том 590 из Lecture Notes in Computer Science, стр. 123-138. Springer, (1990)A Functional View of Rewriting and Strategies for a Semantics of ELAN., , и . Fuji International Symposium on Functional and Logic Programming, стр. 143-166. World Scientific, Singapore, (1998)Implementing Computational Systems with Constraints., , и . PPCP, стр. 156-165. (1993)Operational Semantics of OBJ-3 (Extended Abstract)., , и . ICALP, том 317 из Lecture Notes in Computer Science, стр. 287-301. Springer, (1988)Generating Feasible Schedules for a Pick-Up and Delivery Problem., , и . CP, том 1520 из Lecture Notes in Computer Science, стр. 467. Springer, (1998)