( en | de | ru )

 

Disambiguation of "Kirchner, Claude"

Author of the publication

copydeleteadd this publication to your clipboard
HOL-lambdasigma: An Intentional First-Order Expression of Higher-Order Logic.

, , and . RTA, volume 1631 of Lecture Notes in Computer Science, page 317-331. Springer, (1999)

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 Haan

Claude Muller

Claude Imobersteg

 

Other publications of authors with the same name

Computing Unification Algorithms. LICS, page 206-216. IEEE Computer Society, (1986)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)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)Implementing Computational Systems with Constraints., , and . PPCP, page 156-165. (1993)Implementations of Term Rewriting Systems., , and . Comput. J., 34 (1): 20-33 (1991)Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)., , , , and . Dagstuhl Manifestos, 4 (1): 1-27 (2014)Operational Semantics of OBJ-3 (Extended Abstract)., , and . ICALP, volume 317 of Lecture Notes in Computer Science, page 287-301. Springer, (1988)AC-Unification Race: The System Solving Approach, Implementation and Benchmarks., and . J. Symb. Comput., 14 (1): 51-70 (1992)