( en | de | ru )

 

Disambiguation of "Nestra, Härmel"

Author of the publication

copydeleteadd this publication to your clipboard
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs.

, , , , , , , , and . CoRR, (2022)

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.

Siegfried Harmel

Anne Harmel

Horst Harmel

Joachim Harmel

Monika Harmel

 

Other publications of authors with the same name

Fractional Semantics.. AMAST, volume 4019 of Lecture Notes in Computer Science, page 278-292. Springer, (2006)Grammars for Indentation-Sensitive Parsing.. MFCS, volume 83 of LIPIcs, page 45:1-45:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)On Slicing of Programs with Input Statements.. ICTAC, volume 8049 of Lecture Notes in Computer Science, page 282-300. Springer, (2013)Alignment Elimination from Adams' Grammars.. CoRR, (2017)Framework for Studying Substitution.. Acta Cybern., 15 (4): 633-652 (2002)Transfinite Corecursion.. Nord. J. Comput., 12 (2): 133-156 (2005)Laws of Monadic Error Handling.. ICTAC, volume 11884 of Lecture Notes in Computer Science, page 372-391. Springer, (2019)Double Applicative Functors.. ICTAC, volume 11187 of Lecture Notes in Computer Science, page 333-353. Springer, (2018)Equational Reasoning for MTL Type Classes.. CoRR, (2020)Transfinite Semantics in the Form of Greatest Fixpoint.. J. Log. Algebraic Methods Program., 78 (7): 573-592 (2009)