( en | de | ru )

 

Disambiguierung von "Kirchner, Claude"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

, , , , und (Hrsg.) Volume 6198 von Lecture Notes in Computer Science, Springer, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Claude Imobersteg

Claude Haan

Claude Muller

Claude Louis

Claude Velo

 

Weitere Publikationen von Autoren mit dem selben Namen

Computing Unification Algorithms. LICS, Seite 206-216. IEEE Computer Society, (1986)Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112)., , , , und . Dagstuhl Manifestos, 4 (1): 1-27 (2014)Generating Feasible Schedules for a Pick-Up and Delivery Problem., , und . CP, Volume 1520 von Lecture Notes in Computer Science, Seite 467. Springer, (1998)Implementing Parallel Rewriting., und . Dagstuhl Seminar on Parallelization in Inference Systems, Volume 590 von Lecture Notes in Computer Science, Seite 123-138. Springer, (1990)A Functional View of Rewriting and Strategies for a Semantics of ELAN., , und . Fuji International Symposium on Functional and Logic Programming, Seite 143-166. World Scientific, Singapore, (1998)Implementing Computational Systems with Constraints., , und . PPCP, Seite 156-165. (1993)Digital Disinformation: Taxonomy, Impact, Mitigation, and Regulation (Dagstuhl Seminar 21402)., und . Dagstuhl Reports, 11 (9): 28-44 (2021)AC-Unification Race: The System Solving Approach, Implementation and Benchmarks., und . J. Symb. Comput., 14 (1): 51-70 (1992)Higher Order Unification via Explicit Substitutions., , und . Inf. Comput., 157 (1-2): 183-235 (2000)ELAN from a rewriting logic point of view., , , und . Theor. Comput. Sci., 285 (2): 155-185 (2002)