( en | de | ru )

 

Disambiguation of "Kreitz, Christoph"

Author of the publication

copydeleteadd this publication to your clipboard
Protocol Switching: Exploiting Meta-Properties.

, , , , and . ICDCS Workshops, page 37-42. IEEE Computer Society, (2001)

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.

Christoph Kreitz

Christoph Kreitz

Christoph Kreitz

Christoph Kreitz

Thomas Kreitz

 

Other publications of authors with the same name

Theorem Provers as a Learning Tool in Theory of Computation., , , and . ICER, page 83-92. ACM, (2017)Connection-Driven Inductive Theorem Proving., and . Stud Logica, 69 (2): 293-326 (2001)Formale Methoden der Künstlichen Intelligenz.. Künstliche Intell., 20 (4): 22-28 (2006)MetaPRL - A Modular Logical Environment., , , , , , , , , and 5 other author(s). TPHOLs, volume 2758 of Lecture Notes in Computer Science, page 287-303. Springer, (2003)A Theorem Prover for Scientific and Educational Purposes., and . ThEdu@CADE, volume 267 of EPTCS, page 59-69. (2017)JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants., , , and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 421-426. Springer, (2001)Epilogue.. Intellectics and Computational Logic, volume 19 of Applied Logic Series, page 387. Kluwer, (2000)Prologue.. Intellectics and Computational Logic, volume 19 of Applied Logic Series, page 1-2. Kluwer, (2000)XPRTS - An Implementation Tool for Program Synthesis., , and . GWAI, volume 216 of Informatik-Fachberichte, page 348-357. Springer, (1989)Hybrid Taint Flow Analysis in Scala., and . SSCI, page 657-663. IEEE, (2019)