( en | de | ru )

 

Disambiguation of "Kirchner, Claude"

Author of the publication

copydeleteadd this publication to your clipboard
Narrowing Based Inductive Proof Search.

, , and . Programming Logics, volume 7797 of Lecture Notes in Computer Science, page 216-238. Springer, (2013)

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 Haan

Claude Muller

Claude Imobersteg

Claude Louis

Claude Krier

 

Other publications of authors with the same name

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)Implementing Parallel Rewriting., and . Dagstuhl Seminar on Parallelization in Inference Systems, volume 590 of Lecture Notes in Computer Science, page 123-138. Springer, (1990)Implementing Computational Systems with Constraints., , and . PPCP, page 156-165. (1993)A Functional View of Rewriting and Strategies for a Semantics of ELAN., , and . Fuji International Symposium on Functional and Logic Programming, page 143-166. World Scientific, Singapore, (1998)Generating Feasible Schedules for a Pick-Up and Delivery Problem., , and . CP, volume 1520 of Lecture Notes in Computer Science, page 467. Springer, (1998)ELAN from a rewriting logic point of view., , , and . Theor. Comput. Sci., 285 (2): 155-185 (2002)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)Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402)., and . Dagstuhl Reports, 11 (9): 28-44 (2021)