( en | de | ru )

 

Disambiguation of "Kirchner, Claude"

Author of the publication

copydeleteadd this publication to your clipboard
Implementing Computational Systems with Constraints.

, , and . PPCP, page 156-165. (1993)

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. You can also use the button next to the name to display some publications already assigned to the person.

Claude Louis

Claude Krier

Claude Velo

Claude Brodski

Claude Haan

 

Other publications of authors with the same name

Implementations of Term Rewriting Systems., , and . Comput. J., 34 (1): 20-33 (1991)The rewriting calculus - Part I., and . Logic Journal of the IGPL, 9 (3): 339-375 (2001)Computing Unification Algorithms. LICS, page 206-216. IEEE Computer Society, (1986)Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)., , , , and . Dagstuhl Manifestos, 4 (1): 1-27 (2014)Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402)., and . Dagstuhl Reports, 11 (9): 28-44 (2021)ELAN from a rewriting logic point of view., , , and . Theor. Comput. Sci., 285 (2): 155-185 (2002)Generating Feasible Schedules for a Pick-Up and Delivery Problem., , and . CP, volume 1520 of Lecture Notes in Computer Science, page 467. Springer, (1998)Implementing Parallel Rewriting., and . Dagstuhl Seminar on Parallelization in Inference Systems, volume 590 of Lecture Notes in Computer Science, page 123-138. Springer, (1990)AC-Unification Race: The System Solving Approach, Implementation and Benchmarks., and . J. Symb. Comput., 14 (1): 51-70 (1992)Implementing Computational Systems with Constraints., , and . PPCP, page 156-165. (1993)