( en | de | ru )

 

Disambiguation of "Schmidt-Schauß, Manfred"

Author of the publication

copydeleteadd this publication to your clipboard
Nominal Unification and Matching of Higher Order Expressions with Recursive Let.

, , , , and . Fundam. Informaticae, 185 (3): 247-283 (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.

Manfred Schmidt-Schauß

Bettina Schauß

Kristina Schauß

Joachim Schauß

Hans Schauß

 

Other publications of authors with the same name

Nominal Unification and Matching of Higher Order Expressions with Recursive Let., , , , and . Fundam. Informaticae, 185 (3): 247-283 (2022)Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus., , and . PPDP, page 4:1-4:15. ACM, (2022)A Term-Based Approach to Project Scheduling., and . Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 304-318. Springer, (2001)Minimal Translations from Synchronous Communication to Synchronizing Locks., and . EXPRESS/SOS, volume 339 of EPTCS, page 59-75. (2021)Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi., , and . GI Jahrestagung, volume P-154 of LNI, page 2931-2945. GI, (2009)Nominal Unification with Letrec and Environment-Variables., and . LOPSTR, volume 12561 of Lecture Notes in Computer Science, page 95-112. Springer, (2020)Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars., and . EXPRESS/SOS, volume 322 of EPTCS, page 88-105. (2020)Nominal Unification and Matching of Higher Order Expressions with Recursive Let., , , , and . CoRR, (2021)Nominal Algorithms: Applications and Extensions.. UNIF, page 2:1-2:6. (2020)Rewriting with generalized nominal unification., and . Math. Struct. Comput. Sci., 30 (6): 710-735 (2020)