Author of the publication

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.

 

Other publications of authors with the same name

Confluence Competition 2018., , , , , , , and . FSCD, volume 108 of LIPIcs, page 32:1-32:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Conversion to tail recursion in term rewriting., and . J. Log. Algebraic Methods Program., 83 (1): 53-63 (2014)Determinization of inverted grammar programs via context-free expressions., and . J. Log. Algebraic Methods Program., (2021)Reversible CSP Computations., , , and . IEEE Trans. Parallel Distributed Syst., 32 (6): 1425-1436 (2021)On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems., and . WPTE@FSCD, volume 289 of EPTCS, page 34-52. (2018)Loop Detection by Logically Constrained Term Rewriting., and . VSTTE, volume 11294 of Lecture Notes in Computer Science, page 309-321. Springer, (2018)On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs., , and . WFLP, volume 6816 of Lecture Notes in Computer Science, page 138-155. Springer, (2011)A Reversible Semantics for Erlang., , and . LOPSTR, volume 10184 of Lecture Notes in Computer Science, page 259-274. Springer, (2016)Inverse Unfold Problem and Its Heuristic Solving., , , and . WPTE@RTA/TLCA, volume 40 of OASIcs, page 27-38. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Constrained Term Rewriting tooL., and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 549-557. Springer, (2015)